[coreboot] r3132 - in trunk/util: . inteltools