Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision ab923054803efe8ddc3d2d9a7f7bd7880e20eb13)
+++ boot/arch/arm32/src/mm.c	(revision f7fba7277882a6df08dd8243f8defd20790424c9)
@@ -207,6 +207,11 @@
 		 * so this is safe for all archs.
 		 * Enable VMSAv6 the bit (23) is only writable on ARMv6.
+		 * (and QEMU)
 		 */
+#ifdef PROCESSOR_ARCH_armv6
 		"ldr r1, =0x00801805\n"
+#else
+		"ldr r1, =0x00001805\n"
+#endif
 		
 		"orr r0, r0, r1\n"