x86: Create a new header for EFI