[PATCH 6.13 128/138] irqchip/gic-v3: Fix rk3399 workaround when secure interrupts are enabled