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