MIPS64: Support dsra32.