Re: [PATCH v11 06/19] irqchip: gic: Provide support for interrupt grouping