src/cpu/intel/model_6ex/Kconfig

   1 config CPU_INTEL_MODEL_6EX
   2         bool
   3         select SMP
   4         select SSE2
   5         select UDELAY_LAPIC
   6         select AP_IN_SIPI_WAIT