diff -r 6db1117b2893 -r 5e5d1e6f55d3 config/kernel.in
--- a/config/kernel.in	Mon Oct 06 20:13:05 2008 +0000
+++ b/config/kernel.in	Sun May 03 09:50:16 2009 +0000
@@ -14,12 +14,6 @@
 config KERNEL_VERSION
     string
 
-choice
-    bool
-    prompt "Target OS"
-
 source config.gen/kernel.in
 
-endchoice
-
 endmenu