MIPS64: fix smi handle in builtins-mips.cc.