If you like me have run into having your boot partition filled to the brim with bits containing OLD linux kernel images and have been prevented from running
sudo apt-get upgrade
command without getting an error. You will want to read on.
Continue reading Old Linux kernel images lying around in your /boot partition ?