target/mips/mips-defs: Rename ISA_MIPS32R3 as ISA_MIPS_R3