Помогите вспомнить.
Помню была какая-то мелкая утилитка, которая компилировалась даже из одного .c файла вроде. Очень точно показывала реальную частоту, используя msr-регистры.
К сожалению абсолютно вылетело её название. Но вроде это не cpufreq, у той все ядра почему-то на одной частоте, хотя этого не должно быть.
Название вроде с буквы m начилалось, но не уверен.
