Whonix-Host booting on EFI mode (GRUB)