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