CONFIG_X86_CMPXCHG64=y
