[coreboot-gerrit] Patch set updated for coreboot: 6bc6c3d util/sconfig: fix check for count of command line arguments