[PATCH v5 1/1] x86: Add a 64-bit 'coreboot64' build