Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision b51b1cdf8e97de09399fa66d8c82717bfcf3a3a5)
+++ kernel/arch/arm32/src/exception.c	(revision 4a5ba372d36c7898a9b57089ec4811f25445de77)
@@ -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 (