Index: tools/config.py
===================================================================
--- tools/config.py	(revision 9d371cbb55bb8cf0cfc651a54b90c0477b8576bd)
+++ tools/config.py	(revision e5cd717d55d9d403fadccbc0094a39e0a85e960d)
@@ -1,5 +1,5 @@
 #!/usr/bin/env python
 """
-Kernel configuration script
+Boot configuration script
 """
 import sys
@@ -8,5 +8,5 @@
 import commands
 
-INPUT = 'kernel.config'
+INPUT = 'boot.config'
 OUTPUT = 'Makefile.config'
 TMPOUTPUT = 'Makefile.config.tmp'
@@ -488,5 +488,5 @@
     os.rename(TMPOUTPUT, OUTPUT)
     
-    if not defmode and dlg.yesno('Rebuild kernel?') == 'y':
+    if not defmode and dlg.yesno('Rebuild everything?') == 'y':
         os.execlp('make','make','clean','build')