[coreboot] r3794 - trunk/util/inteltool