diff -r eeea35fbf182 -r b3a10165fe36 config/kernel.in
--- a/config/kernel.in	Sat Feb 24 11:00:05 2007 +0000
+++ b/config/kernel.in	Tue May 01 09:10:31 2007 +0000
@@ -4,7 +4,7 @@
 
 choice
     bool
-    prompt "\"Kernel\" to use:"
+    prompt "Target OS"
     default KERNEL_LINUX
 
 config KERNEL_LINUX