deKernel is a simple tool that finds installed kernels and automates the removal of any you choose, freeing disk space. With optional flags, it can also be automated for scripting.