/boot ran out of space!

I realize that installing new updates filled up my /boot with unused kernels.  I managed to get rid of the old kernels by doing:

sudo apt-get purge linux-image-3.5.0-1{7-generic,8-generic,9-generic}

This will get rid of the linux-image-3.5.0-17-generic, 3.5.0-18-generic, and 3.5.0-19-generic images.