Ja ist es... Wurde nur die Partion von Mint formatiert und mit Debian 11 überschrieben.
OK - dann wird es wohl nicht das BIOS sein.
Und ich nehme auch an das du die Tipps die dir die Fehlermeldung auswirft schon gemacht hast - da kann ich leider nicht weiter helfen.
Dazu ist mein Wissen in Bezug VirtualBox nicht aus.