Merge "[MIPS] Fix mips32r1 build"