[PATCH] clocksource init adjustments (fix bug #7426)