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