[coreboot-gerrit] Patch set updated for coreboot: b12a889 coreboot: Move ARCH_* from board/Kconfig to cpu or soc Kconfig.