[coreboot] Patch set updated: 79c690a Simplify kconfig handling some more