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 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
