Index: boot/arch/mips32/loader/Makefile.build
===================================================================
--- boot/arch/mips32/loader/Makefile.build	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ boot/arch/mips32/loader/Makefile.build	(revision 672b22e998fe4b44c45775aa265ee54ebdcc43dc)
@@ -34,5 +34,4 @@
 include ../../../../Makefile.common
 include ../../../../Makefile.config
-include ../../../../config.defs
 include Makefile.common
 include Makefile.toolchain