INTEL_P4_WILLAMETTE
if (c->x86_vfm == INTEL_P4_WILLAMETTE && c->x86_stepping == 1) {
(c->x86_vfm >= INTEL_P4_WILLAMETTE && c->x86_vfm <= INTEL_P4_CEDARMILL)) {