# CONFIG_X86_PPRO_FENCE is not set