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