Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision fdaad75dff1d0aada7a6e1825ce65314be2ff3c2)
+++ kernel/genarch/src/mm/as_pt.c	(revision 2d2c6cef8ca048eefec9f50dd0b90ab2e1b8ce1e)
@@ -73,5 +73,6 @@
 pte_t *ptl0_create(unsigned int flags)
 {
-	pte_t *dst_ptl0 = (pte_t *) frame_alloc(PTL0_SIZE, FRAME_KA);
+	pte_t *dst_ptl0 = (pte_t *) frame_alloc(PTL0_SIZE,
+	    FRAME_LOWMEM | FRAME_KA);
 	size_t table_size = FRAME_SIZE << PTL0_SIZE;
 	
@@ -89,8 +90,8 @@
 		    (pte_t *) PA2KA((uintptr_t) AS_KERNEL->genarch.page_table);
 		
-		uintptr_t src =
-		    (uintptr_t) &src_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
-		uintptr_t dst =
-		    (uintptr_t) &dst_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
+		uintptr_t src = (uintptr_t)
+		    &src_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
+		uintptr_t dst = (uintptr_t)
+		    &dst_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
 		
 		memsetb(dst_ptl0, table_size, 0);