Los procesadores Intel modernos utilizan estados P para el control de frecuencia de la CPU. Cuando Linux esté usando este controlador, será visible así:
# cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_driver
intel_pstate
El kernel de Debian 3.16 es lo suficientemente nuevo y en realidad tiene el intel_pstate controlador, por lo que debería estar funcionando. Mi primer sospechoso sería una configuración de BIOS. Desafortunadamente, Dell no parece haber documentado muy bien esta configuración, por lo que puedo decirle que el lugar más probable es en Configuración del perfil del sistema en el BIOS, pero no tengo uno de estos servidores a mano, así que no puedo decir exactamente qué opción podría solucionar el problema.