That bug has all the same symptoms as this bug, but I don't have the hardware to see if the same hack fixes it. -- kernel can't scale cpu frequency https://launchpad.net/bugs/36014