Respuestas:
Mint no publica actualizaciones previas al lanzamiento [ Fuente ].
Ketchup es una utilidad de actualización para fuentes de kernel de Linux Disponible a través del paquete Synaptic o mediante el comando CLI de Terminal:
sudo apt-get install ketchup
~ $ ketchup -help
Usage: ketchup [options] [ver]
-a --archive (/home/username/.ketchup)
cache directory
-d --directory (.)
directory to update
-f --full-tarball
if unpacking a tarball, download the latest
-g --gpg-path (/usr/bin/gpg)
path for GnuPG
-G --no-gpg
disable GPG signature verification
-k --kernel-url (http://www.kernel.org/pub/linux/kernel)
base url for kernel.org mirror
-l --list-trees
list supported trees
-m --show-makefile
output version in makefile <arg>
-n --dry-run
don't download or apply patches
-p --show-previous
output version previous to <arg>
-q --quiet
reduce output
-r --rename-directory
rename updated directory to linux-<v>
-s --show-latest
output the latest version of <arg>
-u --show-url
output URL for <arg>
-w --wget (/usr/bin/wget)
command to use for wget