Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision b2ec5cfd5e00eac7963f5a84fb71f002ad79f1f0)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 14cbf074bd9a512a47130fc27027a861c38bc286)
@@ -114,10 +114,8 @@
 	/* Account CPU usage if it woke up from sleep */
 	if (CPU && CPU->idle) {
-		irq_spinlock_lock(&CPU->lock, false);
 		uint64_t now = get_cycle();
 		atomic_time_increment(&CPU->idle_cycles, now - CPU->last_cycle);
 		CPU->last_cycle = now;
 		CPU->idle = false;
-		irq_spinlock_unlock(&CPU->lock, false);
 	}