Using Constantine's recommendation for "fixing" the kernel I have managed to get cpu scaling to work. Its certainly no permanent solution though. -- kernel can't scale cpu frequency https://launchpad.net/bugs/36014