Index: kernel/arch/arm32/include/arch/mm/page.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page.h	(revision 15187c3fe0f95b19837cde4c7f8b673cd31919c6)
+++ kernel/arch/arm32/include/arch/mm/page.h	(revision e93bb241104d5310962cb835ee7463a9574da413)
@@ -154,5 +154,5 @@
 {
 	uint32_t val = (uint32_t)pt & TTBR_ADDR_MASK;
-	val |= TTBR_RGN_WT_CACHE | TTBR_C_FLAG;
+	val |= TTBR_RGN_WBWA_CACHE | TTBR_C_FLAG;
 	TTBR0_write(val);
 }
Index: kernel/arch/arm32/include/arch/mm/page_armv6.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision 15187c3fe0f95b19837cde4c7f8b673cd31919c6)
+++ kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision e93bb241104d5310962cb835ee7463a9574da413)
@@ -265,8 +265,7 @@
 		 * set_ptl0_addr (kernel/arch/arm32/include/arch/mm/page.h)
 		 */
-		//TODO: Use writeback, write-allocate caches
-		p->tex = 6;
-		p->cacheable = 1;
-		p->bufferable = 0;
+		p->tex = 5;
+		p->cacheable = 0;
+		p->bufferable = 1;
 	} else {
 		/*