Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 4b43f86c9c581d38ec3c19b4620b11654c1ce635)
+++ kernel/Makefile	(revision d17820854e406c9977513db9625c4799425e911c)
@@ -233,5 +233,5 @@
 config:
 	-rm Makefile.depend
-	tools/config.py kernel.config
+	../tools/config.py kernel.config
 
 -include Makefile.depend