Jon M that’s why I suggested a Sat/IP DVBS2 tuner. You won’t have to worry about OS versions or kernel updates or firmware.
You could spend hours trying to troubleshoot your issues without success and you’ll need someone with access to a similar tuner and access to DVBS2 satellite reception to go through the process with you.
I’ve suggested a tuner that will take all the headaches out of configuring TVH, is reasonably priced and will work flawlessly. It’s entirely up to you now.