Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 82a04c6d4cedfa8e557149797bfda87ae5da22d7)
+++ kernel/arch/arm32/src/arm32.c	(revision ccce242372aca2c29042948b947afb9cb1fc3631)
@@ -140,5 +140,4 @@
 	uint8_t *stck;
 	
-	tlb_invalidate_all();
 	stck = &THREAD->kstack[THREAD_STACK_SIZE - SP_DELTA];
 	supervisor_sp = (uintptr_t) stck;