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