HAVE_MOVNTI really means SSE2. Also add sfence in the MOVNTI case.

[coreboot.git] / src / cpu / intel / model_f4x / Kconfig

diff --git a/src/cpu/intel/model_f4x/Kconfig b/src/cpu/intel/model_f4x/Kconfig
index 5c464341d894db6b783555b44feb2d2e662243a0..e765e335d69021084608266a5efff33b97ffdf10 100644 (file)
--- a/src/cpu/intel/model_f4x/Kconfig
+++ b/src/cpu/intel/model_f4x/Kconfig
@@ -1,4 +1,4 @@
 config CPU_INTEL_MODEL_F4X
        bool
        select SMP
-       select HAVE_MOVNTI
+       select SSE2