diff -r 09c2753d46ca -r efad82bf7b9b config/kernel/linux.in
--- a/config/kernel/linux.in	Fri Jan 18 15:15:13 2013 +0100
+++ b/config/kernel/linux.in	Thu Jan 24 22:37:31 2013 +0100
@@ -42,51 +42,51 @@
     bool
     prompt "3.7"
 
-config KERNEL_V_3_6_11
+config KERNEL_V_3_6
     bool
     prompt "3.6.11"
 
-config KERNEL_V_3_5_7
+config KERNEL_V_3_5
     bool
     prompt "3.5.7"
 
-config KERNEL_V_3_4_26
+config KERNEL_V_3_4
     bool
     prompt "3.4.26"
 
-config KERNEL_V_3_3_8
+config KERNEL_V_3_3
     bool
     prompt "3.3.8"
 
-config KERNEL_V_3_2_37
+config KERNEL_V_3_2
     bool
     prompt "3.2.37"
 
-config KERNEL_V_3_1_10
+config KERNEL_V_3_1
     bool
     prompt "3.1.10"
 
-config KERNEL_V_3_0_59
+config KERNEL_V_3_0
     bool
     prompt "3.0.59"
 
-config KERNEL_V_2_6_39_4
+config KERNEL_V_2_6_39
     bool
     prompt "2.6.39.4"
 
-config KERNEL_V_2_6_38_8
+config KERNEL_V_2_6_38
     bool
     prompt "2.6.38.8"
 
-config KERNEL_V_2_6_37_6
+config KERNEL_V_2_6_37
     bool
     prompt "2.6.37.6"
 
-config KERNEL_V_2_6_36_4
+config KERNEL_V_2_6_36
     bool
     prompt "2.6.36.4"
 
-config KERNEL_V_2_6_33_20
+config KERNEL_V_2_6_33
     bool
     prompt "2.6.33.20"
     help
@@ -94,7 +94,7 @@
       .33-rt kernel.  Anyone else who really wants to use the .33 kernel tree
       is welcome to use this one as well.
 
-config KERNEL_V_2_6_32_60
+config KERNEL_V_2_6_32
     bool
     prompt "2.6.32.60 (longterm)"
     help
@@ -113,11 +113,11 @@
       mailing list entry:
         http://marc.info/?l=linux-kernel&m=126384198403392&w=4
 
-config KERNEL_V_2_6_31_14
+config KERNEL_V_2_6_31
     bool
     prompt "2.6.31.14"
 
-config KERNEL_V_2_6_27_62
+config KERNEL_V_2_6_27
     bool
     prompt "2.6.27.62 (longterm)"
     help
@@ -163,21 +163,21 @@
     default "3.7.2" if KERNEL_V_3_7_2
     default "3.7.1" if KERNEL_V_3_7_1
     default "3.7" if KERNEL_V_3_7
-    default "3.6.11" if KERNEL_V_3_6_11
-    default "3.5.7" if KERNEL_V_3_5_7
-    default "3.4.26" if KERNEL_V_3_4_26
-    default "3.3.8" if KERNEL_V_3_3_8
-    default "3.2.37" if KERNEL_V_3_2_37
-    default "3.1.10" if KERNEL_V_3_1_10
-    default "3.0.59" if KERNEL_V_3_0_59
-    default "2.6.39.4" if KERNEL_V_2_6_39_4
-    default "2.6.38.8" if KERNEL_V_2_6_38_8
-    default "2.6.37.6" if KERNEL_V_2_6_37_6
-    default "2.6.36.4" if KERNEL_V_2_6_36_4
-    default "2.6.33.20" if KERNEL_V_2_6_33_20
-    default "2.6.32.60" if KERNEL_V_2_6_32_60
-    default "2.6.31.14" if KERNEL_V_2_6_31_14
-    default "2.6.27.62" if KERNEL_V_2_6_27_62
+    default "3.6.11" if KERNEL_V_3_6
+    default "3.5.7" if KERNEL_V_3_5
+    default "3.4.26" if KERNEL_V_3_4
+    default "3.3.8" if KERNEL_V_3_3
+    default "3.2.37" if KERNEL_V_3_2
+    default "3.1.10" if KERNEL_V_3_1
+    default "3.0.59" if KERNEL_V_3_0
+    default "2.6.39.4" if KERNEL_V_2_6_39
+    default "2.6.38.8" if KERNEL_V_2_6_38
+    default "2.6.37.6" if KERNEL_V_2_6_37
+    default "2.6.36.4" if KERNEL_V_2_6_36
+    default "2.6.33.20" if KERNEL_V_2_6_33
+    default "2.6.32.60" if KERNEL_V_2_6_32
+    default "2.6.31.14" if KERNEL_V_2_6_31
+    default "2.6.27.62" if KERNEL_V_2_6_27
     default "custom" if KERNEL_LINUX_CUSTOM
 
 endif # ! KERNEL_LINUX_USE_CUSTOM_HEADERS