diff -r e815b1a5057c -r 6227df6bbb79 config/kernel/linux.in
--- a/config/kernel/linux.in	Mon Sep 15 14:52:29 2008 +0000
+++ b/config/kernel/linux.in	Mon Sep 29 20:19:45 2008 +0000
@@ -1,5 +1,9 @@
 # Linux kernel options
 
+config KERNEL_linux
+    help
+      Build a toolchain targeting systems running Linux as a kernel.
+
 choice
     bool
     prompt "Get kernel headers from:"