diff --git a/Kbuild b/Kbuild
index b2039963892..90fbd050995 100644
--- a/Kbuild
+++ b/Kbuild
@@ -47,7 +47,9 @@ misc/generated/sysgen/prj.mdef:	$(MDEF_FILE_PATH) \
 				include/config/auto.conf FORCE
 	$(call filechk,prj.mdef)
 
-misc/generated/sysgen/kernel_main.c: misc/generated/sysgen/prj.mdef
+misc/generated/sysgen/kernel_main.c: misc/generated/sysgen/prj.mdef \
+				     kernel/microkernel/include/micro_private_types.h \
+				     kernel/microkernel/include/kernel_main.h
 	$(Q)$(srctree)/scripts/sysgen $(CURDIR)/misc/generated/sysgen/prj.mdef $(CURDIR)/misc/generated/sysgen/
 
 define filechk_configs.c
diff --git a/Makefile b/Makefile
index e162edcbf28..1ef3baae7a3 100644
--- a/Makefile
+++ b/Makefile
@@ -981,6 +981,8 @@ CLEAN_DIRS  += $(MODVERDIR)
 CLEAN_FILES += 	misc/generated/sysgen/kernel_main.c \
 		misc/generated/sysgen/sysgen.h \
 		misc/generated/sysgen/prj.mdef \
+		misc/generated/sysgen/micro_private_types.h \
+		misc/generated/sysgen/kernel_main.h \
 		.old_version .tmp_System.map .tmp_version \
 		.tmp_* System.map *.lnk *.map *.elf *.lst \
 		*.bin *.strip staticIdt.o linker.cmd final-linker.cmd