[tip: irq/urgent] irqchip/gic-v3: Force propagation of the active state with a read-back