Index: kernel/arch/arm32/include/mm/as.h
===================================================================
--- kernel/arch/arm32/include/mm/as.h	(revision 82a04c6d4cedfa8e557149797bfda87ae5da22d7)
+++ kernel/arch/arm32/include/mm/as.h	(revision fc6dd18feebbc66893aec4d86827b7c815dbbfe7)
@@ -54,5 +54,4 @@
 #define as_destructor_arch(as)			(as != as)
 #define as_create_arch(as, flags)		(as != as)
-#define as_install_arch(as)
 #define as_deinstall_arch(as)
 #define as_invalidate_translation_cache(as, page, cnt)
Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 82a04c6d4cedfa8e557149797bfda87ae5da22d7)
+++ kernel/arch/arm32/src/arm32.c	(revision fc6dd18feebbc66893aec4d86827b7c815dbbfe7)
@@ -140,5 +140,4 @@
 	uint8_t *stck;
 	
-	tlb_invalidate_all();
 	stck = &THREAD->kstack[THREAD_STACK_SIZE - SP_DELTA];
 	supervisor_sp = (uintptr_t) stck;
Index: kernel/arch/arm32/src/mm/as.c
===================================================================
--- kernel/arch/arm32/src/mm/as.c	(revision 82a04c6d4cedfa8e557149797bfda87ae5da22d7)
+++ kernel/arch/arm32/src/mm/as.c	(revision fc6dd18feebbc66893aec4d86827b7c815dbbfe7)
@@ -39,4 +39,5 @@
 #include <genarch/mm/asid_fifo.h>
 #include <mm/as.h>
+#include <mm/tlb.h>
 #include <arch.h>
 
@@ -50,4 +51,9 @@
 }
 
+void as_install_arch(as_t *as)
+{
+	tlb_invalidate_all();
+}
+
 /** @}
  */