Fixed bug in MIPS cache flush.