Just wanted to point people at this: https://wiki.ubuntu.com/KernelTeam/removing-old-kernels It's the first step in the road to getting rid of old kernels. -- distro-team mailing list distro-team at lists.canonical.com https://lists.canonical.com/mailman/listinfo/distro-team