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