irqchip/gic-v3: Workaround inconsistent PMR setting on NMI entry