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