[PATCH 17/27] irqchip/gic-v3: Fix a system stall when using pseudo NMI with CONFIG_ARM64_NMI closed