diff --git a/servers/vm/arch/i386/pagetable.c b/servers/vm/arch/i386/pagetable.c
index d41d77bde..49398f08c 100644
--- a/servers/vm/arch/i386/pagetable.c
+++ b/servers/vm/arch/i386/pagetable.c
@@ -1143,13 +1143,16 @@ void pt_init(void)
 #endif
 			if(flags & VMMF_WRITE)
 				kern_mappings[pindex].flags |= ARCH_VM_PTE_RW;
+#if defined(__arm__)
+			else 
+				kern_mappings[pindex].flags |= ARCH_VM_PTE_RO;
+#endif
+
 #if defined(__i386__)
 			if(flags & VMMF_GLO)
 				kern_mappings[pindex].flags |= I386_VM_GLOBAL;
-#elif defined(__arm__)
-			else
-				kern_mappings[pindex].flags |= ARCH_VM_PTE_RO;
 #endif
+
 			if(addr % VM_PAGE_SIZE)
                 		panic("VM: addr unaligned: %lu", addr);
 			if(len % VM_PAGE_SIZE)