Hello Newtman,
This was a long issue with TBS tuners, they use an old branch of all the media driver tree. Installing TBS driver roll back linux hardware support to an old situation.
In your case ISDB-Tb tuner not supported. One option was to take the source of the unsupported hardware and to port it in TBS driver tree itself.
That is not convient for sure.
But, you (we) are maybe lucky
Seems a new move is on its way
Good News,Open source code for TBS Card has been releasedI did not tried it yet however and don't know what are exactly the features supported.
Let try and see.
Regards,