Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ boot/Makefile	(revision 27fb3d6f9efd0c4396c87c135ff58e0b7b2e6766)
@@ -30,5 +30,5 @@
 #
 
--include Makefile.config
+-include ../Makefile.config
 
 ## Paths
@@ -51,18 +51,10 @@
 endif
 
-.PHONY: all build config distclean clean generic_clean
+.PHONY: all build clean generic_clean
 
-all:
-	../tools/config.py boot.config default $(ARCH) $(COMPILER) $(CONFIG_DEBUG) $(IMAGE)
-	$(MAKE) -C . build
+all: ../Makefile.config build
 
 -include arch/$(ARCH)/Makefile.inc
 
-config:
-	../tools/config.py boot.config
-
-distclean: clean
-	-rm Makefile.config
-
 generic_clean:
 	-rm generic/*.o genarch/*.o