DE_CFG_SERIALIZE_LFENCE
if ((value & DE_CFG_SERIALIZE_LFENCE) == 0)
x86_write_msr(MSR_F10H_DE_CFG, value | DE_CFG_SERIALIZE_LFENCE);