Ho una macchina linux (Debian Lenny con kernel vanilla 2.6.24.7) che
monta una cpu Intel Q9300 (2500 Mhz).
C'è un problema con il frequency scaling.
Nel kernel è compilato "ACPI Processor P-States Driver" più i vari
governor. Io uso "ondemand", che di per se funziona bene nel senso che
a seconda delle richieste varia la velocità delle varie CPU.