最新の Intel プロセッサは、CPU 周波数制御に P ステートを使用します。 Linux がこのドライバーを使用している場合、次のように表示されます:
# cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_driver
intel_pstate
Debian 3.16 カーネルは十分に新しく、実際には intel_pstate を持っています ドライバーなので、動作するはずです。私の最初の疑いはBIOS設定でしょう。残念ながら、Dell はこれらの設定を十分に文書化していないようです。そのため、最も可能性の高い場所は System Profile Settings の下にあると言えます。