Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ boot/Makefile	(revision 4011fa009e7bf59bf7c5a27c73601b2a1c0db7c2)
@@ -32,5 +32,4 @@
 -include ../Makefile.common
 -include ../Makefile.config
--include ../config.defs
 
 ## Paths
@@ -43,5 +42,5 @@
 .PHONY: all build clean generic_clean
 
-all: ../Makefile.common ../Makefile.config ../config.h ../config.defs build
+all: ../Makefile.common ../Makefile.config ../config.h build
 
 -include arch/$(BARCH)/Makefile.inc