You could just use apt to get the source,
check that the file /etc/apt/sources.list contains a line starting with
deb-src
and then use the command:
apt-get update
apt-get source linux-image-$(uname -r)
It will download the source in the folder:
/usr/src or /usr/sources