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