[PATCH -next RFC] irqchip/gic-v5: Improve the SPI alloc efficiency