[PATCH v2 14/26] arm64/nmi: Add Kconfig for NMI