diff -r d902cd77419f -r 481658dd0e7f config/kernel/linux.in.2
--- a/config/kernel/linux.in.2	Mon May 09 19:26:54 2011 +0200
+++ b/config/kernel/linux.in.2	Wed Dec 26 12:15:10 2012 +0100
@@ -1,6 +1,6 @@
 # Linux kernel options
 
-if KERNEL_LINUX_INSTALL
+if ! KERNEL_LINUX_USE_CUSTOM_HEADERS
 
 choice
     bool
@@ -41,4 +41,4 @@
       If you are in doubt that installed headers are buggy, say 'Y'
       here to have an extra check passed onto the headers.
 
-endif # KERNEL_LINUX_INSTALL
+endif # ! KERNEL_LINUX_USE_CUSTOM_HEADERS