Index: kernel/arch/arm32/include/regutils.h
===================================================================
--- kernel/arch/arm32/include/regutils.h	(revision 64129093f6bedb696d32e995c048e5866f2418d8)
+++ kernel/arch/arm32/include/regutils.h	(revision a57b751d239274a97aedd47fb6b128aae6b97f03)
@@ -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 */