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