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