Re: [PATCH 02/35] x86: Create a new header for EFI