Index: boot/arch/arm32/src/asm.S
===================================================================
--- boot/arch/arm32/src/asm.S	(revision 24bead17ff65e731719d76e66996e566419093d5)
+++ boot/arch/arm32/src/asm.S	(revision 7275e5205d8bdddf2186387b3ad23a543651c40f)
@@ -71,6 +71,8 @@
 	mrc	p15, 0, r4, c1, c0, 0
 	bic	r4, r4, #(1 << CP15_C1_DC)
+#ifndef PROCESSOR_ARCH_armv7_a
 	bic	r4, r4, #(1 << CP15_C1_IC)
 	bic	r4, r4, #(1 << CP15_C1_BP)
+#endif
 	mcr	p15, 0, r4, c1, c0, 0