Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision 9dae191e774f517d5430fc726e4aef5787b1fcd0)
+++ kernel/generic/src/time/clock.c	(revision a3900ccd7e17ab082827110cf5c4b6ee6faefd2b)
@@ -140,6 +140,5 @@
 	/* Account lost ticks to CPU usage */
 	if (CPU->idle) {
-		ASSERT(missed_clock_ticks == 0);
-		CPU->idle_ticks++;
+		CPU->idle_ticks += missed_clock_ticks + 1;
 	} else {
 		CPU->busy_ticks += missed_clock_ticks + 1;