[tip: irq/urgent] irqchip/gic-v3: Work around insecure GIC integrations