Sorry to have wasted time here. For information, I wasn't (in this case) talking about a kernel module at all but an obscure system utility which needs the kernel headers. -- /usr/src/linux symlink missing https://launchpad.net/bugs/77897