Re: [PATCH v3 7/7] x86: Add a 64-bit coreboot build