diff -r 21bcbfde8094 -r f431118daec4 config/kernel_linux.in
--- a/config/kernel_linux.in	Wed Apr 11 21:26:03 2007 +0000
+++ b/config/kernel_linux.in	Mon Apr 23 21:06:09 2007 +0000
@@ -117,8 +117,9 @@
     prompt "Configuration file"
     default ""
     help
-      Path to the kernel configuration file.
+      Path to a kernel configuration file.
       
-      You _must_ provide one (for now).
+      If you don't provide one, then the default configuration for
+      your target will be used.
 
 endif