[coreboot] Patch merged into coreboot/master: 6c800a2 inteltool: fixed 64 bit build