kernel/baseconfig/x86/i686/CONFIG_X86_PPRO_FENCE