Index: Makefile
===================================================================
--- Makefile	(revision a88ab79527d0ad8172c9cf4cde9461f03f3a3a3c)
+++ Makefile	(revision b95b717b5a93e7607dce1bab20b9e9588bc340a9)
@@ -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)