https://windtux.com/eliminar-kernels-antiguos-en-ubuntu-16-04/