#define CONFIG_X86_PPRO_FENCE 1