[PATCH v5 07/28] x86: Allow booting a kernel from the EFI app