[coreboot-gerrit] Patch set updated for coreboot: 3fe1bd1 Clean arch-level Kconfig files