[mips4] Fix 32-bit multiply.