Current situation is improved from 2019 when previous post was written, but still a long way from a solution and those commits don't directly help.
The demod chip is from Availink and we have now direct contact with them and they are (or were, no updates since the summer) working on a public release of their previously closed-source drivers and we/me persuaded them to publish under GPLv2 to things can eventually go upstream. They also have a pile of tuner drivers to work with their demod, although some of the drivers have dubiouos code provenance so might never be upstreamable too the kernel. The current missing pieces are: a) the large amount of work to deconstruct the Amlogic/Android style monolithic driver so that all the component driver bits are standalone/configurable via kernel defconfig (and thus correctly supporting upstream APIs), and b) somene needs to write a GBM/V4L2 compliant demux driver as the one from the Amlogic BSP is written around the BSP memory drivers, and c) someone will need to write a deinterlace IP driver, although that's easier and recent work on Allwinner to do similar provides some prior-art and clues on how to do it.
Using the WP1 as the headend is by far the best idea, as the above ^ isn't going to happen anytime soon.