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