diff -r 44dd635202a4 -r 2fbb4aea2a88 config/kernel.in
--- a/config/kernel.in	Sun Oct 12 11:22:46 2008 +0000
+++ b/config/kernel.in	Sun Aug 02 23:33:37 2009 +0200
@@ -3,7 +3,7 @@
 menu "Operating System"
 
 # Config option used throughout the config and code to determine wether
-# we have a kernel or not (there might be different bare metal stuff...
+# we have a kernel or not (there might be different bare metal stuff)...
 config BARE_METAL
     bool
     default n