How to remove a broken Linux kernel not installed with apt? #boot #grub2 #kernel #grubefi