[coreboot-gerrit] Patch merged into coreboot/master: ddf54b1 util/sconfig: fix check for count of command line arguments