mips: Mips64 does not go with Mips32R6. this fixes some 64bit instructions