Crap. I thought you could fetch individual modules that way, but looking at that Contents.gz file and playing with apt-cache search, it looks like you can’t- apparently they are packaged inside the kernel image packages. Sorry about that.
It looks like there are two options. First we need to figure out which kernel-image package is the right one for that device. If you’ll post the output of ‘cat /proc/cpuinfo’ that might help us determine which one we need. If that fails for any reason you could try ‘dmesg |grep -i cpu’.
Once we have that information, you might be able to just apt-get install the whole kernel image. I’m not sure how large it is, but once we know which one is needed we can determine that using apt-cache show. How much free space do you have on the device’s storage?
Once the new kernel is installed you should have a choice at boot time between it and the existing kernel- if you have GRUB. If you don’t then there’s a chance installing the new package could nuke the bootloader – so you’d need to not do that.
If you can’t install the whole image to the device, then you’ll need to download it to the desktop using ‘apt-get—download-only [packagename]’. Then you can extract the archive using ‘dpkg—extract [downloaded-file] [target-directory]’. Then you can pull the file you want out of there and transfer it.
If all that fails, then you might need to compile the package- but we’ll burn that bridge when we get to it, yes?