Les processeurs Intel modernes utilisent des états P pour le contrôle de la fréquence du processeur. Lorsque Linux utilise ce pilote, il sera visible ainsi :
# cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_driver
intel_pstate
Le noyau Debian 3.16 est assez nouveau et a en fait le intel_pstate pilote, il devrait donc fonctionner. Mon premier suspect serait un paramètre du BIOS. Malheureusement, Dell ne semble pas avoir très bien documenté ces paramètres, donc je peux vous dire que l'endroit le plus probable est sous Paramètres du profil système dans le BIOS, mais je n'ai pas l'un de ces serveurs sous la main, donc je ne peux pas dire exactement quelle option pourrait résoudre le problème.