[coreboot] [commit] r6420 - in trunk: src/include/device util/sconfig