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