Index: src/mm/page.c
===================================================================
--- src/mm/page.c	(revision c913e4566133fc2d4dc60c055cf2313bf56c2c46)
+++ src/mm/page.c	(revision f79e3577da60d57fffa855902be8f17fabfd18d1)
@@ -77,5 +77,5 @@
 	__address newpt;
 
-//	ptl0 = (pte_t *) PA2KA(root ? root : (__address) GET_PTL0_ADDRESS());
+	ptl0 = (pte_t *) PA2KA(root ? root : (__address) GET_PTL0_ADDRESS());
 
 	if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) {