CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG=y
