Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision 6968948581aef38fdbe76fe199a34ff76b3f1572)
+++ boot/arch/arm32/src/mm.c	(revision 37cfd410875d113b09ad68d80f4edfa8a41d9676)
@@ -45,4 +45,5 @@
 		"bic r0, r0, #1\n"
 		"mcr p15, 0, r0, c1, c0, 0\n"
+		::: "r0"
 	);
 }