Add Kconfig option ARCH_HAVE_NMI_SAFE_CMPXCHG