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