-
Backup your system using
rescuezilla
or other tools, if you can't access the grub menu to choose the kernel when booting. -
Check your board famlily:
uname -r
-
Download corresponding kernel debs from Releases.
-
Extract debs and install:
tar -xvf <downloaded_kernel_pkg.tar> dpkg -i linux-*.deb
-
Reboot your machine.
Method 1: Choose the previous kernel in grub menu when booting.
Method 2: Restore your system if you have a backup.
Note Make sure you have clicked
Show all assets
on the releases page.
If you don't find the kernel you need in the list, open an issue to submit your request.