$ sudo apt-get dist-upgrade
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: The package linux-headers-4.8.0-51-generic needs to be reinstalled, but I can't find an archive for it.