Re: [RFC v3 3/9] irqchip: gic: Provide support for interrupt grouping