[PATCH 09/13] arm64/irq: Document handling of FEAT_NMI in irqflags.h