irqchip: irq-gic: fix