[PATCH v8 04/25] x86: Allow booting a kernel from the EFI app