x86: Add a 64-bit 'coreboot64' build