Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision e55fcd29e7b9f615c8a572f2e1d352f1443007bb)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 5fcd5372fa4cc52bb3d6d189df950427675f6acd)
@@ -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();