minimal changes to do EFI boot on x86_64

Signed-off-by: Ard Biesheuvel <ardb@kernel.org>
5 files changed