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