[coreboot-gerrit] Patch set updated for coreboot: 4a2277f xcompile: add support for x86-64