1. Backup your system using rescuezilla or other tools, if you can't access the grub menu to choose the kernel when booting.

2. Check your board famlily:

   uname -r

3. Download corresponding kernel debs from Releases.

4. Extract debs and install:

   tar -xvf <downloaded_kernel_pkg.tar>
   dpkg -i linux-*.deb

5. 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.