Update mips_inst.txt