[coreboot] [commit] r5632 - trunk/util/inteltool