Comment 49 for bug 1357093

Ta, dpkg tells the header is not installed. If you have separate /boot partition, the existence of headers do not matter because they are not stored in /boot. If the current instructions do not work, please comment at http://askubuntu.com/a/731791/21005 to tell what exactly went wrong.