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