Comment 74 for bug 1846016

You-Sheng Yang (vicamo) wrote :

One may install my prebuilt kernel with following command:

  $ sudo apt install --no-install-recommends linux-headers-5.3.0-17-generic=5.3.0-17.18+lp1846016 linux-modules-extra-5.3.0-17-generic=5.3.0-17.18+lp1846016

You'll have to select the right kernel to boot in the grub menu because it's not the latest one installed in your system.