diff -r eeea35fbf182 -r fd6ad5721f77 config/kernel.in
--- a/config/kernel.in	Sat Feb 24 11:00:05 2007 +0000
+++ b/config/kernel.in	Tue Apr 17 22:24:42 2007 +0000
@@ -4,7 +4,7 @@
 
 choice
     bool
-    prompt "\"Kernel\" to use:"
+    prompt "Target OS"
     default KERNEL_LINUX
 
 config KERNEL_LINUX