[PATCH] Remove sources for kernel-tools