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