Comment 5 for bug 1740874

Fixed it by usingsynaptic package manager to reinstall affected header. Confirmed repair by running sudo apt-get install linux-headers-generic, which no longer showed an error.