[PATCH 10/13] arm64/nmi: Add handling of superpriority interrupts as NMIs