mips32, add support for micromips in debug mode