[Bug 436398] default (tsc) clocksource erratic