Made vga=ask optional for BIOS machines, using a menu.

Modesetting works well on UEFI machines (thanks to CONFIG_EFI_VARS).