[coreboot-gerrit] Patch set updated for coreboot: 61df27b x86: Make x86 architecture makefiles x64 aware