Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision ae5fb7c8167b12c7be26bb5b4830aa37837e6eba)
+++ boot/arch/arm32/src/mm.c	(revision 7bf921771914b9adbd576a885dc72f248d68883d)
@@ -147,8 +147,7 @@
 	 * set_ptl0_addr (kernel/arch/arm32/include/arch/mm/page.h)
 	 */
-	//TODO: Use write-back write-allocate caches
-	pte->tex = section_cacheable(frame) ? 6 : 0;
-	pte->bufferable = section_cacheable(frame) ? 0 : 0;
-	pte->cacheable = section_cacheable(frame) ? 1 : 0;
+	pte->tex = section_cacheable(frame) ? 5 : 0;
+	pte->cacheable = section_cacheable(frame) ? 0 : 0;
+	pte->bufferable = section_cacheable(frame) ? 1 : 0;
 #else
 	pte->bufferable = 1;
@@ -184,5 +183,5 @@
 	 */
 	uint32_t val = (uint32_t)boot_pt & TTBR_ADDR_MASK;
-	val |= TTBR_RGN_WT_CACHE | TTBR_C_FLAG;
+	val |= TTBR_RGN_WBWA_CACHE | TTBR_C_FLAG;
 	TTBR0_write(val);
 }