I just re-installed OSMC completely new on my vero4k to rule out any potential misconfiguration. Unfortunately, the problem remains the same, even with a completely fresh installation (I tried both before and after installing tvheadend from the app store): the DVB-S adapter is not working but leads to a kernel crash. I would appreciate any support! Thanks!
Relevant outputs (when plugging in the USB-adapter):
sudo journalctl -f
dmesg | grep dvb