Index: kernel/arch/mips32/src/mm/page.c
===================================================================
--- kernel/arch/mips32/src/mm/page.c	(revision d8f1545ad749221bd3c3d3dcfa437d1c36881def)
+++ kernel/arch/mips32/src/mm/page.c	(revision 464a52fb3f84550859625f9698a1bfc98e9127e0)
@@ -41,4 +41,5 @@
 {
 	page_mapping_operations = &pt_mapping_operations;
+	as_switch(NULL, AS_KERNEL);
 }