Re: [PATCH] Remove sources for kernel-tools