В сообщении от 13 of September 2010 23:44:41 автор Jesse Barnes написал:
> I remember seeing a similar problem on an Eee PC I had; it seemed to be
> timer/interrupt related somehow.  If I booted with clocksource=tsc
> (or maybe it was pit) I got nice smooth animations, but if I used the
> HPET things were really slow.
> 
> Does the same work for you?

Yeah, it works for me (will use it as temporary workaround). But it definitely 
is not clean solution, as I can't use nohz mode with tsc clocksource :)

Regards
Vasily