HAVE_MOVNTI really means SSE2. Also add sfence in the MOVNTI case.
[coreboot.git] / src / cpu / intel / model_f0x / Kconfig
index fe68d96ec4b80c29eb9f73332baee0205906ecc2..bf26cfe04815fc5cc1d40aa9011786e619074a67 100644 (file)
@@ -1,4 +1,4 @@
 config CPU_INTEL_MODEL_F0X
        bool
        select SMP
-       select HAVE_MOVNTI
+       select SSE2