Index: boot/arch/arm32/loader/Makefile.toolchain
===================================================================
--- boot/arch/arm32/loader/Makefile.toolchain	(revision cc1f8d49ea50ec53cdbef1c6e641762fee657fb0)
+++ boot/arch/arm32/loader/Makefile.toolchain	(revision d45660a168e00e2e6a582319f09478bfbdfbfacb)
@@ -39,4 +39,6 @@
 TOOLCHAIN_DIR = $(CROSS_PREFIX)/arm32/bin
 
+JOBFILE = ../../../../tools/jobfile.py
+
 ifeq ($(COMPILER),gcc_native)
 	CC = gcc