welches BIOS hast Du denn und unterstützt das ACPI?
Well, es ist ein »Dell Dimension 5100« aus etwa 2005. Mehr kann ich dazu auf die Schnelle nicht sagen. Im Bios kann ich das HT einschalten. Viel mehr gibt es dazu nicht.
Ich sehe hier die Möglichkeit, dass im Bios die Einträge für ACPI Fehler enthalten. Allerdings ist es schon die aktuellste Version (A03).
Wie gesagt, acpi-cpufreq findet kein entsprechendes Device. Und das p4-clockmod.ko der Desktop-Version lädt zwar, mag aber nicht das »ondemand« wegen »latency« aktivieren.