Listar kernels de nuestra distribución y borrar antiguos: https://www.linuxadictos.com/como-eliminar-kernels-antiguos-en-debian.html