Public bug report changed: https://launchpad.net/malone/bugs/36991 Comment: in ubuntu, we decided to ship no other kernel sources than the 'official' ubuntu kernel sources, so we don't have debian kernel sources in ubuntu.