uses CONFIG_HAVE_MOVNTI
default CONFIG_HAVE_MOVNTI=1

dir /cpu/x86/tsc
dir /cpu/x86/mtrr
dir /cpu/x86/lapic
dir /cpu/x86/cache
dir /cpu/x86/smm
dir /cpu/intel/microcode
dir /cpu/intel/hyperthreading
dir /cpu/intel/speedstep
driver model_6ex_init.o