pavelpl if you knew the last known working kernel it would be quite easy to revert to it. It shouldn’t be too difficult to find that out.
Ubuntu allows for this by supplying an automatic media tree kernel builder when upgrading the kernel which is easily installed. Not sure if your setup could use this.
b-rad-NDi/Ubuntu-media-tree-kernel-builder
I imagine my previous suggestions may well be above your skill set so you could continue the search to see if anyone has found a simpler solution.
In the meantime do some in-depth research before purchasing an alternative DVBS USB tuner.