[coreboot] Patch merged into filo/master: 79c690a Simplify kconfig handling some more