Ocasionalmente actualizo mi kernel desde este sitio web http://kernel.ubuntu.com/~kernel-ppa/mainline/
Siempre he descargado 3 archivos deb para instalar todos los encabezados de Linux, la imagen de Linux y los encabezados de Linux. Noté un archivo deb más recientemente para el kernel de 64 bits llamado Linux-image-extra.
Me gustaría saber qué hace el archivo kernel Linux-image-extra y ¿también debería instalarlo?