src/cpu/intel/model_6fx/Kconfig - coreboot - Gitiles

 config CPU_INTEL_MODEL_6FX
 	bool
 	select ARCH_X86
 	select SMP
 	select SSE2
 	select UDELAY_LAPIC
 	select AP_IN_SIPI_WAIT
 	select TSC_SYNC_MFENCE
 	select SUPPORT_CPU_UCODE_IN_CBFS
	config CPU_INTEL_MODEL_6FX
	bool
	select ARCH_X86
	select SMP
	select SSE2
	select UDELAY_LAPIC
	select AP_IN_SIPI_WAIT
	select TSC_SYNC_MFENCE
	select SUPPORT_CPU_UCODE_IN_CBFS