I'm fishing a little, but this line in dmesg is suspicious: 'send /proc/acpi/dsdt to the developers'. Have you checked for BIOS updates for this motherboard? The current BIOS version is 2.5 years old.
-- acpi_cpufreq no longer loaded automatically https://launchpad.net/bugs/95849 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs