[PATCH v4 19/34] x86: Allow booting a kernel from the EFI app