[coreboot-gerrit] Patch set updated for coreboot: a74123e Move the HAVE_ARCH_* config options from src/arch/x86 to src/.