CONFIG_HAVE_FUTEX_CMPXCHG=y
