Index: boot/arch/arm32/src/asm.S
===================================================================
--- boot/arch/arm32/src/asm.S	(revision f9f758e8783cc8b9d957992e78eafdbed6d5584f)
+++ boot/arch/arm32/src/asm.S	(revision 46db5c519650c0cb5a19bff99be9cac917b0f558)
@@ -88,5 +88,5 @@
 	dsb
 #else
-	andi r4, 0
+	mov r4, #0
 	#cp15 dsb, r4 is ignored (should be zero)
 	mcr p15, 0, r4, c7, c10, 4