config CPU_INTEL_MODEL_6DX
	bool
	select SMP
