[MIPS] do_IRQ cleanup