https://jonathansblog.co.uk/how-to-remove-unused-kernels-in-linux