Moderne Intel-Prozessoren verwenden P-States zur Steuerung der CPU-Frequenz. Wenn Linux diesen Treiber verwendet, wird er folgendermaßen angezeigt:
# cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_driver
intel_pstate
Der Kernel von Debian 3.16 ist neu genug und hat tatsächlich den intel_pstate Treiber, also sollte es funktionieren. Mein erster Verdacht wäre eine BIOS-Einstellung. Leider scheint Dell diese Einstellungen nicht sehr gut dokumentiert zu haben, daher kann ich Ihnen sagen, dass der wahrscheinlichste Ort unter Systemprofileinstellungen ist im BIOS, aber ich habe keinen dieser Server zur Hand, daher kann ich nicht genau sagen, welche Option das Problem beheben könnte.