diff -r 08da017ba46b -r 5b3785e0d41d config/kernel.in
--- a/config/kernel.in	Thu Apr 17 21:04:23 2008 +0000
+++ b/config/kernel.in	Thu Sep 11 09:01:48 2008 +0000
@@ -2,6 +2,10 @@
 
 menu "Kernel"
 
+config KERNEL
+    string
+    default "linux" if KERNEL_LINUX
+
 choice
     bool
     prompt "Target OS"