[PATCH 12/27] arm64/irq: Document handling of FEAT_NMI in irqflags.h