Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 46a6a5d15724ef9f8a0f7482a019fb379e0dba99)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 0acd3399ba1eed434dfaab9035233086c868ad07)
@@ -98,4 +98,8 @@
 void cpu_arch_init(void)
 {
+	/* Get rid of any boot code hiding in ICache
+	 * This is safe without regards to ICache state. */
+	smc_coherence();
+
 	uint32_t control_reg = 0;
 	asm volatile (