diff -r d902cd77419f -r 069f43a215cc 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 Jun 25 23:33:01 2014 +0200
@@ -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