1.1 --- a/config/kernel.in	Mon Oct 06 20:13:05 2008 +0000
     1.2 +++ b/config/kernel.in	Sun Oct 12 11:22:46 2008 +0000
     1.3 @@ -14,12 +14,6 @@
     1.4  config KERNEL_VERSION
     1.5      string
     1.6  
     1.7 -choice
     1.8 -    bool
     1.9 -    prompt "Target OS"
    1.10 -
    1.11  source config.gen/kernel.in
    1.12  
    1.13 -endchoice
    1.14 -
    1.15  endmenu