src/cpu/intel/model_1067x/Config.lb

   1 uses CONFIG_HAVE_MOVNTI
   2 default CONFIG_HAVE_MOVNTI=1
   3
   4 dir /cpu/x86/tsc
   5 dir /cpu/x86/mtrr
   6 dir /cpu/x86/lapic
   7 dir /cpu/x86/cache
   8 dir /cpu/x86/smm
   9 dir /cpu/intel/microcode
  10 dir /cpu/intel/hyperthreading
  11 driver model_1067x_init.o