diff -r dce3a2ba6e71 -r d799643901c3 config/kernel_linux_headers_install.in
--- a/config/kernel_linux_headers_install.in	Sat Jun 16 17:56:17 2007 +0000
+++ b/config/kernel_linux_headers_install.in	Tue Jul 03 22:16:42 2007 +0000
@@ -150,3 +150,11 @@
     default "2.6.21.5" if KERNEL_INSTALL_V_2_6_21_5
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
+
+config KERNEL_LINUX_HEADERS_INSTALL_CHECK
+    bool
+    prompt "Check installed headers"
+    default n
+    help
+      If you are in doubt that installed headers are buggy, say 'Y'
+      here to have an extra check passed onto the headers.