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