Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 2826998bbecee0bf5a27635707da0db286c328a3)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 949869d2e42c585807fd47d9e647bc004522407f)
@@ -129,4 +129,6 @@
 	control_reg |= CP15_R1_CACHE_EN | CP15_R1_INST_CACHE_EN;
 	
+	/* Enable branch prediction */
+	control_reg |= CP15_R1_BRANCH_PREDICT_EN;
 	asm volatile (
 		"mcr p15, 0, %[control_reg], c1, c0"