Thank you, Mirco - that confirms some suspicions I had. I think I might be able to reproduce the problem now.
-- 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
