Index: kernel/arch/ppc32/src/mm/page.c
===================================================================
--- kernel/arch/ppc32/src/mm/page.c	(revision 7e752b2a0d66c871748e5fa9e8bbe3a27c70a202)
+++ kernel/arch/ppc32/src/mm/page.c	(revision 898e84788b1d147ab48122cb197b9910af5994b2)
@@ -43,4 +43,5 @@
 	if (config.cpu_active == 1)
 		page_mapping_operations = &pt_mapping_operations;
+	as_switch(NULL, AS_KERNEL);
 }