flub wrote:
# dpkg -l "kernel-image-*" This should show all installed kernels, just pick the right one to remove. If you can't see the full `Name' with this, make your xterm a bit bigger.
or use dpkg --get-selections | grep kernel-image