Re: [PATCH v2 0/7] x86: efi: Add a 64-bit coreboot payload