Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision dfb16c4ca4a23836cb490b56ddf919cd0a01f2c7)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 4ed7870aad9f431ae7d9cd758d59040ce0be5fdf)
@@ -121,9 +121,9 @@
 
 	/* Account CPU usage if it woke up from sleep */
-	if (CPU && CPU->idle) {
+	if (CPU && CPU_LOCAL->idle) {
 		uint64_t now = get_cycle();
-		atomic_time_increment(&CPU->idle_cycles, now - CPU->last_cycle);
-		CPU->last_cycle = now;
-		CPU->idle = false;
+		atomic_time_increment(&CPU->idle_cycles, now - CPU_LOCAL->last_cycle);
+		CPU_LOCAL->last_cycle = now;
+		CPU_LOCAL->idle = false;
 	}