Comment 27 for bug 190414

pjina3:

Is there a line below the "tsc unstable" one? It should tell you what clocksource it's selecting instead, which is the one you should be picking - it won't necessarily be hpet. Boot without the clocksource or quiet arguments and see what it says.