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