MIPS: Fix ABI (o32).