Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 92778f2136ec900a873b76c69db8efbdb1998fea)
+++ kernel/Makefile	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
@@ -233,5 +233,5 @@
 config:
 	-rm Makefile.depend
-	tools/config.py kernel.config
+	../tools/config.py kernel.config
 
 -include Makefile.depend