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