config CPU_INTEL_MODEL_F4X
	bool
	select SMP