diff --git a/servers/vm/arch/i386/pagetable.c b/servers/vm/arch/i386/pagetable.c
index 6ee9dba47..49398f08c 100644
--- a/servers/vm/arch/i386/pagetable.c
+++ b/servers/vm/arch/i386/pagetable.c
@@ -1131,6 +1131,9 @@ void pt_init(void)
 				kern_mappings[pindex].flags |= PTF_NOCACHE;
 #elif defined(__arm__)
 				kern_mappings[pindex].flags |= ARM_VM_PTE_DEVICE;
+			else {
+				kern_mappings[pindex].flags |= ARM_VM_PTE_CACHED;
+			}
 #endif
 			if(flags & VMMF_USER)
 				kern_mappings[pindex].flags |= ARCH_VM_PTE_USER;