You are a hero!
I followed the post here Update : Linux Kernel 4.9.2 on Ubuntu 16.04, Ubuntu 16.10 and Linux Mint 18 - Ubuntu Maniac - Linux News to update the kernel to 4.9.2-040902-generic
After that I did:
sudo reboot
sudo dpkg --configure -a
and it actually worked.
After that I was...