CONFIG_HAVE_CMPXCHG_DOUBLE=y
