[coreboot-gerrit] New patch to review for coreboot: 01cd968 Move the HAVE_ARCH_* config options from src/arch/x86 to src/.