The problem is that none of the kernel versions in use have support, so the patch you've referred to is for a later kernel version.
To fix this a patch needs to be made for every kernel version supported, and the patch then needs to be added to the kernel build, which means all manufacturers need to accept the patch as an update.
Quite an undertaking...
Yes I know... The only hope is that this is the most popular DVB-T2/C device, so I really hope someone will backport the drivers, because today the only decoder that (I suppose, because I don't have it) natively supports this device is Edision 4k, the only one decoder with kernel 5.x... Really hope someone will backport