Depois de muita pesquisa, postagens no fórum e becos sem saída, eu finalmente descobri a ferramenta "TurboStat", que é capaz de ler a frequência da CPU. Está na forma de código-fonte, o link está aqui: link
Outras ferramentas que eu tentei e não usei: cpufreq, cpupowerutils