I did more tests yesterday and the issue I have is in fact the same reported in http://bugzilla.kernel.org/show_bug.cgi?id=7060 . Although the effect is the same, they seem to be caused by different bugs, so I'll file another one and link it to the above mentioned upstream bug.
-- 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
