[coreboot-gerrit] Patch merged into coreboot/master: fd33781 Move ARCH_* from board/Kconfig to cpu or soc Kconfig.