src/cpu/intel/model_6fx/Kconfig

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