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