Actually, the include/generated files ARE included in linux-headers package. -- Does not copy generated include files to proper place https://bugs.launchpad.net/bugs/574785 You received this bug notification because you are a member of Kernel Bugs, which is subscribed to kernel-package in ubuntu.