[coreboot] [commit] r6511 - trunk/util/kconfig