Implement kernel IRQ exit route