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