Re: [PATCH] irqchip/gic-v3: Work around insecure GIC integrations