diff --git a/src/system/kernel/scheduler/scheduler.cpp b/src/system/kernel/scheduler/scheduler.cpp
index 036e06075a..7f80b84558 100644
--- a/src/system/kernel/scheduler/scheduler.cpp
+++ b/src/system/kernel/scheduler/scheduler.cpp
@@ -223,8 +223,8 @@ void
 scheduler_reschedule_ici()
 {
 	// This function is called as a result of an incoming ICI.
-	// Make sure the reschedule() is invoked.
-	get_cpu_struct()->invoke_scheduler = true;
+	// Since invoke_scheduler will have been set by whatever sent the ICI, we
+	// shouldn't set it here (as the scheduler may have already cleared it.)
 }