Bug#608250: acpi-cpufreq: Error inserting acpi_cpufreq module: No such device

Hi, thanks for your report. I get the same behavior: overlord3:~$ sudo modprobe acpi-cpufreq FATAL: Error inserting acpi_cpufreq (/lib/modules/2.6.32-5-xen-amd64/kernel/arch/x86/kernel/cpu/cpufreq/acpi-cpufreq.ko): No such device overlord3:~$ dpkg-query -W linux-image-$(uname -r) linux-image-2.

Bug#608250: acpi-cpufreq: Error inserting acpi_cpufreq module: No such device

Package: linux-2.6 Version: 2.6.32-29 Severity: normal File: acpi-cpufreq -- Package-specific info: ** Version: Linux version 2.6.32-5-xen-amd64 (Debian 2.6.32-29) (b...@decadent.org.uk) (gcc version 4.3.5 (Debian 4.3.5-4) ) #1 SMP Fri Dec 10 17:41:50 UTC 2010 ** Command line: placeholder root