From time to time Ubuntu updates the GRUB menu, which may list a lot of previous Linux kernels and eat a lot of hard-disk space. In this article,