Os modernos processadores Intel usam estados P para controle de frequência da CPU. Quando o Linux estiver usando este driver, será visível assim:
# cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_driver
intel_pstate
O kernel do Debian 3.16 é novo o suficiente e atualmente tem o driver intel_pstate
, então deve estar funcionando. Meu primeiro suspeito seria uma configuração do BIOS. Infelizmente, a Dell não parece ter documentado essas configurações muito bem, então eu posso te dizer que o lugar mais provável está em Configurações do Perfil do Sistema na BIOS, mas eu não tenho um desses servidores na mão, então não posso dizer exatamente qual opção pode corrigir o problema .