[coreboot-gerrit] Patch set updated for coreboot: 6d96182 Add x64 support to src/arch/x86/Kconfig