Set up the EFI frame-buffer just before booting linux
No memtest under EFI, no EFI shell in BIOS
Fix EFI Shell menu entry

The entry would be disabled by have_file() failing
for an absolute path. Use [ -e ... ] as the fallback (won't work for
network boot).