If you're ever using a Linux environment and need the source for your kernel version, simply use
apt-get and run the following:
apt-get source linux-image-$(uname -r)
This command will download the kernel source into the current directory.
command will work to get the source for any binary package when available.