Re: [PATCH 24/35] x86: Allow booting a kernel from the EFI app