Whonix-Host booting in BIOS mode (Isolinux)