[coreboot] [v2] r4131 - trunk/coreboot-v2/util/newconfig