diff --git a/kernel/sched/idle.c b/kernel/sched/idle.c
index 44d040db4e0a..5208f26162b9 100644
--- a/kernel/sched/idle.c
+++ b/kernel/sched/idle.c
@@ -244,8 +244,6 @@ static void do_idle(void)
 
 	while (!need_resched()) {
 		check_pgt_cache();
-		rmb();
-
 		local_irq_disable();
 
 		if (cpu_is_offline(cpu)) {