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