https://enterinit.com/how-to-safely-remove-old-kernels-from-ubuntu/