Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 4406fd65127ba62f1155ae575c2e0cd6ec5fc1ce)
+++ kernel/Makefile	(revision 9a0367fa3b9a9c76101f2153a0f10900ea972c2b)
@@ -31,6 +31,6 @@
 #
 
--include ../version
--include Makefile.config
+include ../version
+-include ../Makefile.config
 
 INCLUDES = generic/include
@@ -360,20 +360,13 @@
 GENARCH_OBJECTS := $(addsuffix .o,$(basename $(GENARCH_SOURCES)))
 
-.PHONY: all build config distclean clean archlinks depend disasm
-
-all:
-	../tools/config.py kernel.config default $(ARCH) $(COMPILER) $(CONFIG_DEBUG) $(MACHINE)
+.PHONY: all build clean archlinks depend disasm
+
+all: ../Makefile.config
+	-rm Makefile.depend
 	$(MAKE) -C . build
 
 build: kernel.bin disasm
 
-config:
-	-rm Makefile.depend
-	../tools/config.py kernel.config
-
 -include Makefile.depend
-
-distclean: clean
-	-rm Makefile.config
 
 clean: