Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision 151c0503e1c1b615f0f4fe97cc31a4dfe16b78df)
+++ kernel/generic/src/time/clock.c	(revision 33e15a0909d5c911a064d992b5fbc99a68234b68)
@@ -123,4 +123,5 @@
 static void cpu_update_accounting(void)
 {
+	// FIXME: get_cycle() is unimplemented on several platforms
 	uint64_t now = get_cycle();
 	atomic_time_increment(&CPU->busy_cycles, now - CPU_LOCAL->last_cycle);