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