small porting of mips32r1