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