Setup VirtualBox after kernel upgrade

If you get something like

Unable to locate package kernel-header-3.5.0-25-generic

execute

sudo apt-get install linux-headers-$(uname -r)
sudo apt-get install build-essential dkms
sudo /etc/init.d/vboxdrv setup

A tip: select Save the machine state, instead of Power off the machine, whenever possible.