Index: boot/arch/arm32/src/asm.S
===================================================================
--- boot/arch/arm32/src/asm.S	(revision 46db5c519650c0cb5a19bff99be9cac917b0f558)
+++ boot/arch/arm32/src/asm.S	(revision 12d6c984367491a333f4e1724f2e966246811839)
@@ -75,5 +75,5 @@
 	bic	r4, r4, #(1 << CP15_C1_DC)
 
-	#Disable I-cache and Branche predicotrs on non-armv7
+	# Disable I-cache and Branche predictors.
 	bic	r4, r4, #(1 << CP15_C1_IC)
 	bic	r4, r4, #(1 << CP15_C1_BP)
@@ -88,10 +88,11 @@
 	dsb
 #else
+	#cp15 dsb, r4 is ignored (should be zero)
 	mov r4, #0
-	#cp15 dsb, r4 is ignored (should be zero)
 	mcr p15, 0, r4, c7, c10, 4
 #endif
 	
 	# Clean ICache and BPredictors, r4 ignored (SBZ)
+	mov r4, #0
 	mcr p15, 0, r4, c7, c5, 0
 	nop