Acá tenes los archivos .deb En el apartado "freesh" dice:
.debs for various architectures of the latest sources available. .debs para varias arquitecturas de las últimas fuentes disponibles. Entra en este enlace y descarga según la arquitectura de tu máquina. http://linux-libre.fsfla.org/pub/linux-libre/freesh/pool/main/l/linux-source-3.10.24-gnu/ Te vas a encontrar con esto: