Re: NMI during irq_interrupt() issue