mips: fix printing of 64-bit icount_ value.