I haven't tried this yet, but are things in the repo set up so that 'apt-get source' works as it should? After adding deb-src statements to the repo list, of course. And that would be for the SDK setup, normally.