Index: kernel/Makefile.common
===================================================================
--- kernel/Makefile.common	(revision 656437a0d8513459f1bc36bb837969801023cf4c)
+++ kernel/Makefile.common	(revision 8416d463d2cdec1889f4d2b04c2a701b948130de)
@@ -44,2 +44,5 @@
 ARCH_INCLUDE = generic/include/arch
 GENARCH_INCLUDE = generic/include/genarch
+
+GENMAP = tools/genmap.py
+JOBFILE = ../tools/jobfile.py