kernel/include/config/ARCH_HAVE_NMI_SAFE_CMPXCHG