Essa é a frequência da CPU atual ; pode ser dimensionado para cima e para baixo.
Dê uma olhada em /sys/devices/system/cpu/cpu0 (ou 1, 2, 3) e, em seguida, no diretório cpufreq .
Verifique cat scaling_governor . É provavelmente ondemand (acredito que seja a configuração padrão do kernel). Agora, verifique scaling_available_frequencies ; você verá uma lista que deve começar com 2600000.
O kernel aumentará a frequência quando necessário. Tente um loop ocupado, com bash:
while (( 1 )); do echo busy; done
Deixe isso acontecer e verifique suas freqüências. Eles devem subir. Se você tiver um monitor de CPU e um deles atingir perto de 100%, esse núcleo provavelmente estará na frequência máxima agora.