Tente instalar turbostat (do pacote linux-tools ) e execute sudo modprobe msr ; sudo turbostat e veja o que isso diz para a velocidade do processador.
A frequência mostrada em / proc / cpuinfo é sempre limitada à velocidade "normal" da CPU quando, na verdade, o turbo está funcionando bem.