cmake DCONFIG_HAVE_CMPXCHG_DOUBLE examples

RedPill-TTG/redpill-lkm CMakeLists.txt :187

add_definitions(-DCONFIG_HAVE_CMPXCHG_DOUBLE)