[PATCH v6 06/27] x86: Allow booting a kernel from the EFI app