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