[PATCH v7 03/24] x86: Allow booting a kernel from the EFI app