[coreboot] Patch merged into coreboot/master: 31c3613 Clean up ARMv7 architecture Kconfig