genirq: Add a new generic IPI reservation code to irq core