Index: kernel/arch/arm32/include/regutils.h
===================================================================
--- kernel/arch/arm32/include/regutils.h	(revision 64129093f6bedb696d32e995c048e5866f2418d8)
+++ kernel/arch/arm32/include/regutils.h	(revision 8316547f916ae25dffe4d30a1c706bfb38c39897)
@@ -63,5 +63,5 @@
 #define CP15_R1_TEX_REMAP_EN      (1 << 28)
 #define CP15_R1_ACCESS_FLAG_EN    (1 << 29)
-#define CP15_r1_THUMB_EXC_EN      (1 << 30)
+#define CP15_R1_THUMB_EXC_EN      (1 << 30)
 
 /* ARM Processor Operation Modes */