I moderni processori Intel utilizzano gli stati P per il controllo della frequenza della CPU. Quando Linux utilizza questo driver, sarà visibile così:
# cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_driver
intel_pstate
Il kernel Debian 3.16 è abbastanza nuovo e attualmente ha il intel_pstate driver, quindi dovrebbe funzionare. Il mio primo sospetto sarebbe un'impostazione del BIOS. Sfortunatamente Dell non sembra aver documentato molto bene queste impostazioni, quindi posso dirti che il posto più probabile è sotto Impostazioni del profilo di sistema nel BIOS, ma non ho uno di questi server a portata di mano quindi non posso dire esattamente quale opzione potrebbe risolvere il problema.