diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index 108ea048..46d79cde 100644
--- a/i386/intel/pmap.c
+++ b/i386/intel/pmap.c
@@ -649,7 +649,7 @@ void pmap_bootstrap(void)
 			WRITE_PTE(&kernel_pmap->pdpbase[i],
 				  pa_to_pte(_kvtophys((void *) kernel_page_dir
 						      + i * INTEL_PGBYTES))
-				  | INTEL_PTE_VALID | INTEL_PTE_WRITE);
+				  | INTEL_PTE_VALID);
 	}
 #ifdef __x86_64__
 #ifdef MACH_HYP
@@ -1289,7 +1289,7 @@ pmap_t pmap_create(vm_size_t size)
 		for (i = 0; i < PDPNUM; i++)
 			WRITE_PTE(&p->pdpbase[i],
 				  pa_to_pte(kvtophys((vm_offset_t) page_dir[i]))
-				  | INTEL_PTE_VALID | INTEL_PTE_WRITE);
+				  | INTEL_PTE_VALID);
 	}
 #ifdef __x86_64__
 	// FIXME: use kmem_cache_alloc instead