Unfortunatelly both changelog entries do not point to this bug Otherwise there would have been a (Closes: #57213) as well -- Not all header files packed into .deb https://bugs.launchpad.net/bugs/57213 You received this bug notification because you are a member of Kernel Bugs, which is a bug contact for kernel-package in ubuntu.