mips: i6400 core is not mips32r2, so disable mips32r2