[coreboot-gerrit] Patch set updated for coreboot: util/kconfig: Ignore extra symbols in configs instead of failing