I have seen LibreELEC have support for the Terratec Cinergy S2 PCIe Dual card. This seems to be based on the work from crazycat . The support is been added here: https://bitbucket.org/crazycat/linux_media/commits/e5cf2bd5f2236379e0c2f55453b1c09470976da7
Because crazycat answer to issues about the driver in the forum here ( LibreElec + Cinergy DVB-S2 Dual Tuner + Terratec Remote generates double key events ) i would like to know if there is a special reason why such drivers are not beeing mainlined to the linux kernel.