Você pode usar apenas apt
para obter a origem
verifique se o arquivo /etc/apt/sources.list
contém uma linha que começa com
deb-src
e, em seguida, use o comando:
apt-get update
#if you want to download the source into the current directory use:
apt-get source linux-image-$(uname -r)
#if you want the source to be installed in the system directory use:
apt-get install linux-source-$(uname -r)
Ele fará o download da fonte na pasta:
/usr/src or /usr/sources