Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision 5d9e36b27b4f5ff893f1f9703675b6781e2cf98e)
+++ boot/arch/arm32/src/mm.c	(revision 46a6a5d15724ef9f8a0f7482a019fb379e0dba99)
@@ -119,11 +119,13 @@
 		"mrc p15, 0, r0, c1, c0, 0\n"
 		
-#ifdef PROCESSOR_ARCH_armv7_a
+#ifdef PROCESSOR_cortex_a8
 		/* Mask to enable paging, I-cache D-cache and branch predict
-		 * See kernel/arch/arm32/include/regutils.h for bit values.*/
+		 * See kernel/arch/arm32/include/regutils.h for bit values.
+		 * It's safe because Cortex-A8 implements IVIPT extension
+		 * See Cortex-A8 TRM ch. 7.2.6 p. 7-4 (PDF 245) */
 		"ldr r1, =0x00001805\n"
 #else
-		/* Mask to enable paging */
-		"ldr r1, =0x00000001\n"
+		/* Mask to enable paging and branch prediction */
+		"ldr r1, =0x00000801\n"
 #endif
 		"orr r0, r0, r1\n"