kernel: backport MIPS changes introducing a separate IRQ stack