Comment 32 for bug 1687623

@Bryan Smith - dist-upgrade in Terminal should fix the problem, you will get the full kernel. I had this problem on Xubuntu 16.04 (and would have affected anyone on *buntu 16.04 updating through the Software Updater).