Index: Makefile
===================================================================
--- Makefile	(revision a88ab79527d0ad8172c9cf4cde9461f03f3a3a3c)
+++ Makefile	(revision d22645e4c7c59d8de3b5151b7e9c72f593c52351)
@@ -76,4 +76,7 @@
 	$(MAKE) -C $(USPACEDIR) clean ARCH=$(ARCH)
 
+clean_boot_gen:
+	-rm generic/*.o genarch/*.o
+
 distclean_kernel:
 	$(MAKE) -C $(KERNELDIR) distclean ARCH=$(ARCH)