cpufreq / intel_pstate: Add additional supported CPU ID