diff -r 242695a00db5 -r 461b9c476104 config/kernel/linux.in
--- a/config/kernel/linux.in	Sun Aug 14 16:05:33 2011 +0200
+++ b/config/kernel/linux.in	Sun Aug 14 19:59:02 2011 +0200
@@ -18,11 +18,7 @@
       If you want to use your own full kernel tree, then you want to say 'N'
       here, and select KERNEL_LINUX_CUSTOM, in the versions list, below.
 
-config KERNEL_LINUX_INSTALL
-    bool
-    default y if ! KERNEL_LINUX_USE_CUSTOM_HEADERS
-
-if KERNEL_LINUX_INSTALL
+if ! KERNEL_LINUX_USE_CUSTOM_HEADERS
 
 choice
     bool
@@ -161,8 +157,9 @@
     default "2.6.32.44" if KERNEL_V_2_6_32_44
     default "2.6.31.14" if KERNEL_V_2_6_31_14
     default "2.6.27.59" if KERNEL_V_2_6_27_59
+    default "custom" if KERNEL_LINUX_CUSTOM
 
-endif # KERNEL_LINUX_INSTALL
+endif # ! KERNEL_LINUX_USE_CUSTOM_HEADERS
 
 if KERNEL_LINUX_USE_CUSTOM_HEADERS