Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision e93bb241104d5310962cb835ee7463a9574da413)
+++ boot/arch/arm32/src/mm.c	(revision b5851913939728ba0da2fbead7b0e5c5c48257cd)
@@ -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"