Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 2a8f38a50656251018a035ce511803ef32eafabf)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision ae86f89179446e272e4dde330ed345ccf281519b)
@@ -100,4 +100,5 @@
 	/* Get rid of any boot code hiding in ICache
 	 * This is safe without regards to ICache state. */
+	memory_barrier();
 	smc_coherence();