sched, x86: Fix cpufreq + sched_clock() TSC scaling