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