Download the equivalent kernel-image file, assuming there is one. Then extract the files to an empty directory with dpkg-deb (see man for info). The config file will then be in the subdirectory boot. You can simply copy it to your kernel sources directory and rename it to .config. Good luck. regards, Darryl