diff -r d902cd77419f -r a8cb9039fade 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	Tue Feb 11 21:34:48 2014 +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