diff --git a/kernel/time/clocksource.c b/kernel/time/clocksource.c
index 1f663d23e85e940d71716627d2de509143a88bfb..1f5dde637457e94e8a5bcdcda498044bbb9844c1 100644
--- a/kernel/time/clocksource.c
+++ b/kernel/time/clocksource.c
@@ -592,6 +592,10 @@ static inline void clocksource_select(void) { }
  */
 static int __init clocksource_done_booting(void)
 {
+	mutex_lock(&clocksource_mutex);
+	curr_clocksource = clocksource_default_clock();
+	mutex_unlock(&clocksource_mutex);
+
 	finished_booting = 1;
 
 	/*