HAVE_MOVNTI really means SSE2. Also add sfence in the MOVNTI case.
[coreboot.git] / src / cpu / via / model_c7 / Kconfig
1 config CPU_VIA_C7
2         bool
3         select UDELAY_TSC
4         select SSE2