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