I am seeing a new error during the loading of the acpi-cpufreq.ko kernel module when the 2.6.13-1.1532_FC4smp kernel boots on my Tyan Tiger i7505 motherboard with dual Xeon processors. Is anyone else seeing this and is there a workaround? On my machine, the boot messages show an error inserting the acpi-cpufreq.ko kernel module with a 'no such device' error message. Jack