[tip: x86/cpu] x86/cpu/intel: Fix the constant_tsc model check for Pentium 4