diff --git a/c/src/lib/libcpu/arm/shared/include/arm-cp15.h b/c/src/lib/libcpu/arm/shared/include/arm-cp15.h
index 478dd33688..ffb2cc6573 100644
--- a/c/src/lib/libcpu/arm/shared/include/arm-cp15.h
+++ b/c/src/lib/libcpu/arm/shared/include/arm-cp15.h
@@ -91,7 +91,7 @@ extern "C" {
     | ARM_MMU_SECT_DEFAULT)
 
 #define ARMV7_MMU_READ_ONLY_CACHED \
-  (ARMV7_MMU_READ_ONLY | ARM_MMU_SECT_C | ARM_MMU_SECT_B)
+  (ARMV7_MMU_READ_ONLY | ARM_MMU_SECT_TEX_0 | ARM_MMU_SECT_C | ARM_MMU_SECT_B)
 
 #define ARMV7_MMU_READ_WRITE \
   ((ARM_MMU_DEFAULT_CLIENT_DOMAIN << ARM_MMU_SECT_DOMAIN_SHIFT) \
@@ -99,7 +99,7 @@ extern "C" {
     | ARM_MMU_SECT_DEFAULT)
 
 #define ARMV7_MMU_READ_WRITE_CACHED \
-  (ARMV7_MMU_READ_WRITE | ARM_MMU_SECT_C | ARM_MMU_SECT_B)
+  (ARMV7_MMU_READ_WRITE | ARM_MMU_SECT_TEX_0 | ARM_MMU_SECT_C | ARM_MMU_SECT_B)
 
 #define ARMV7_MMU_DATA_READ_ONLY \
   ARMV7_MMU_READ_ONLY