A simple Tool for upgrading your kernel on a GNU/Linux system.