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