Heureusement il y a une solution.

On installe le démon qui gère la vitesse du processeur et les outils qui vont avec :
sudo apt-get install cpufrequtils
On édite le bon fichier ;
sudo vi /etc/init.d/cpufrequtils
et on met MAX_SPEED="2400MHz"
On recharge :
sudo /etc/init.d/cpufrequtils restart
et voilà, 25% de puissance en plus en pointe!