Index: kernel/arch/ppc32/src/mm/page.c
===================================================================
--- kernel/arch/ppc32/src/mm/page.c	(revision eef1b0317f3802b67fa2a31033fa2973fbaab4e7)
+++ kernel/arch/ppc32/src/mm/page.c	(revision 1cab9972b0df6650e445a84ef3e44c3894940b79)
@@ -43,4 +43,5 @@
 	if (config.cpu_active == 1)
 		page_mapping_operations = &pt_mapping_operations;
+	as_switch(NULL, AS_KERNEL);
 }
 
Index: kernel/arch/ppc32/src/mm/pht.c
===================================================================
--- kernel/arch/ppc32/src/mm/pht.c	(revision eef1b0317f3802b67fa2a31033fa2973fbaab4e7)
+++ kernel/arch/ppc32/src/mm/pht.c	(revision 1cab9972b0df6650e445a84ef3e44c3894940b79)
@@ -195,5 +195,4 @@
 void pht_refill(unsigned int n, istate_t *istate)
 {
-	as_t *as = (AS == NULL) ? AS_KERNEL : AS;
 	uintptr_t badvaddr;
 	
@@ -204,5 +203,5 @@
 	
 	int pfrc;
-	pte_t *pte = find_mapping_and_check(as, badvaddr,
+	pte_t *pte = find_mapping_and_check(AS, badvaddr,
 	    PF_ACCESS_READ /* FIXME */, istate, &pfrc);