Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision b51b1cdf8e97de09399fa66d8c82717bfcf3a3a5)
+++ kernel/arch/arm32/src/exception.c	(revision 297cb737a128894be4e31ffafb7da3e0005ff683)
@@ -143,5 +143,5 @@
 	
 	/* switch on the high vectors bit */
-	control_reg |= CP15_R1_HIGH_VECTORS_BIT;
+	control_reg |= CP15_R1_HIGH_VECTORS_EN;
 	
 	asm volatile (