Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision f3386d746b4f2e3d741eb9009428dbd331e2b6b1)
+++ boot/arch/arm32/src/mm.c	(revision 2e842f2f44fea53af241bdcbe95c939ad9e028b5)
@@ -141,6 +141,7 @@
 		 * we disable caches before jumping to kernel
 		 * so this is safe for all archs.
+		 * Enable VMSAv6 the bit (23) is only writable on ARMv6.
 		 */
-		"ldr r1, =0x00001805\n"
+		"ldr r1, =0x00801805\n"
 		
 		"orr r0, r0, r1\n"