Comment 4 for bug 163192

there is some known problems with hpet timer. please take a look at

cat /proc/timer_list | grep "Clock Event Device"

if hpet is enabled you should try to disable it with kernel option:
hpet=disable