[coreboot-gerrit] Patch set updated for coreboot: util/lint: Add check to verify saved configs are miniconfigs