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