[coreboot] [commit] r5763 - in trunk: src/devices util/sconfig