[coreboot] [commit] r6424 - trunk/util/sconfig