11-25-2021, 07:21 PM
Should I also delete the 5.13 kernel to free up more space on /boot? On a regular desktop system if something happens to the newest kernel I can select an older one to boot up on (if present) via the grub menu. I'm not sure if it's possible to do that on the Pinephone.