[RFC patch v3] x86: Improve boot_vga/vga_default_device() for EFI