Re: Clocksource tsc unstable?