Re: [RFC PATCH 2/5] irq: Allow interrupts to routed to NMI (or similar)