checate a ver que te dice un apt-cache search kernel-source, hay te debe decir los paquetes del kernel que esten disponibles para bajar