[PATCH 11/13] arm64/nmi: Add Kconfig for NMI