#define CONFIG_X86_CMPXCHG 1