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