This should work for the HP chromebook 14, Acer C720 and the Dell 11. After upgrading from Ubuntu 14.04 to 16.04 the computer could not detect the sound card anymore. Note: that I only tested it on saucy for now.
Sudo apt-get install linux-headers-3.8.11
Then you should be able to run these commands to fix the headers sudo apt-get update