Change the kernel used

I have a RPB2 and I am using the Realtek WIFI dongle. When the dongle stopped being supported I had to reinstall the kernel 4.14.78-4. It has worked fine until now. However, today I have updated the system to the latest version and a new kernel version has been installed, which has become the new default. How can I change the default kernel to the old one? I guess it is something simple but I do not really know where to start.


See Wireless adapter Belkin F7D2102 does not work any longer - #6 by arnedude

It will depend upon whether the 4.14.78-4 package is still installed on your system.

FYI, some of the removed Realtek drivers will be returning to OSMC in the future.

Yes. The old kernel is still installed. As far as I know, it should still work.