[Erledigt] Virtualbox: Debian-Installation im UEFI-Modus.

[KP97]

Du hast Recht, vermutet hatte ich es bereits.
Für einen Bugreport ist es allerdings etwas schwierig zu erklären, zumal mein Englisch auch nicht das allerbeste ist.
Vielleicht hilft mein Hinweis ja hier jemandem.