tool for the removal of the Linux kernel packages