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