У меня еще больше убегало. Вылечил заменой tsc на hpet.
1)какой таймер текущий
$cat /sys/devices/system/clocksource/clocksource0/current_clocksource
2)какие таймеры доступны
$cat /sys/devices/system/clocksource/clocksource0/available_clocksource
3) я поменял
$sudo su
$echo hpet > /sys/devices/system/clocksource/clocksource0/current_clocksource
Народ в инете наоборот hpet на tsc менял. Причины от севшей батарейки до кривого софта.