Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision 2826998bbecee0bf5a27635707da0db286c328a3)
+++ boot/arch/arm32/src/mm.c	(revision 949869d2e42c585807fd47d9e647bc004522407f)
@@ -120,7 +120,7 @@
 		
 #ifdef PROCESSOR_armv7_a
-		/* Mask to enable paging, I-cache D-cache
+		/* Mask to enable paging, I-cache D-cache and branch predict
 		 * See kernel/arch/arm32/include/regutils.h for bit values.*/
-		"ldr r1, =0x00001005\n"
+		"ldr r1, =0x00001805\n"
 #else
 		/* Mask to enable paging */