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