https://itcorner.pages.dev/posts/how-to-remove-old-linux-kernels/