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