Debian stable mit i7: cpu taktet nicht hoch

[rikola]

Hi,
wir haben hier mehrere i7 QuadCores stehen, auf denen Debian stable laeuft, und ein paar wenige mit Debian testing. Alle Rechner sind zur Zeit ausgelastet. Auf den Rechnern mit testing geht die CPU auch aufs Maximum hoch. Auf Debian stable liefen die CPUs allerdings alle weiter mit 1200MHz anstatt 3GHz, bis ich mit

echo performance > /sys/devices/system/cpu/cpu0/scaling_governor

erzwingen konnte, dass die CPUs hochgetaktet wurden. Allerdings ist das suboptimal, da die Jobs ja irgendwann auch wieder fertig sind.
Davor war der governor auf 'ondemand' eingestellt, was auch auf allen Debian testing Rechnern der Fall ist, wobei dieser bei letzteren ja auch ordentlich reagiert hat.
Weiss jemand, woran das bei Debian stable liegt und wie ich den governor auf 'ondemand' setzen kann und er trotzdem bei Belastung die Frequenz hochtaktet?

 

[towo]

lsmod | grep -i cpufreq

sagt was?

 

[rikola]

Auf stable:

acpi_cpufreq           11792  0 
cpufreq_stats           9120  0 
cpufreq_powersave       6400  0 
cpufreq_conservative    11784  0 
cpufreq_ondemand       11792  7 
freq_table              9344  3 acpi_cpufreq,cpufreq_stats,cpufreq_ondemand
cpufreq_userspace       8452  0 
processor              42304  10 acpi_cpufreq,thermal

auf testing:

acpi_cpufreq            5555  0 
cpufreq_stats           2659  0 
cpufreq_powersave        902  0 
cpufreq_userspace       1992  0 
cpufreq_conservative     5162  0 
processor              29935  9 acpi_cpufreq

Auch mit cpufreq-info habe ich keinen Unterschied feststellen koennen.