Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision d5610b97cb04ef50092daf40ac8aaab0770e0199)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision f71b93841daab94be37cbab4f471444712807695)
@@ -130,5 +130,8 @@
 {
 	uint32_t control_reg = SCTLR_read();
-	
+
+	dcache_invalidate();
+	read_barrier();
+
 	/* Turn off tex remap, RAZ/WI prior to armv7 */
 	control_reg &= ~SCTLR_TEX_REMAP_EN_FLAG;
@@ -341,4 +344,16 @@
 #endif
 
+void dcache_invalidate(void)
+{
+#if defined(PROCESSOR_ARCH_armv7_a)
+	dcache_flush_invalidate();
+#else
+	if (cache_is_unified())
+		CIALL_write(0);
+	else
+		DCIALL_write(0);
+#endif
+}
+
 void dcache_clean_mva_pou(uintptr_t mva)
 {