Dan: if you have a separate machine, please can you file a separate bug report. It's likely that your issue maybe to do with eg. incompletely ACPI tables in that laptop.
-- kernel can't scale cpu frequency https://launchpad.net/bugs/36014 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
