Index: kernel/arch/arm32/include/mm/page_armv7.h
===================================================================
--- kernel/arch/arm32/include/mm/page_armv7.h	(revision 07a8ef51c024af14ad338054fc4566e302ac2bf3)
+++ kernel/arch/arm32/include/mm/page_armv7.h	(revision a5f007fd98a651411f95fbe647b5c769721cee13)
@@ -312,4 +312,9 @@
 		if (!(flags & PAGE_WRITE))
 			p->access_permission_1 = PTE_AP1_RO;
+		if (!(flags & PAGE_CACHEABLE)) {
+			p->tex = 0x2;
+			p->bufferable = 0;
+			p->cacheable = 0;
+		}
 	}
 }