config CPU_INTEL_MODEL_1067X bool select SMP select SSE2 select TSC_SYNC_MFENCE