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