Você não precisa baixar ou adicionar um repositório. Você pode instalar os seguintes pacotes linux-signed-image-3.x.x.x generic
em 13.10:
linux-signed-image-3.11.0-12-generic
linux-signed-image-3.11.0-13-generic
linux-signed-image-3.11.0-14-generic
linux-signed-image-3.11.0-15-generic
linux-signed-image-3.11.0-17-generic
linux-signed-image-3.11.0-18-generic
linux-signed-image-3.11.0-20-generic
linux-signed-image-3.11.0-22-generic
linux-signed-image-3.11.0-23-generic
Pode instalá-los como:
sudo apt-get install [PACKAGE NAME]