I haven't had any contact with afl1 for 18+ months and I have never knowingly been in contact with any MeCool developers.
I do have direct contact with Availink who create the demod chips, but their repo is quiet since the summer (no idea why) and I haven't spoken to them for a while either. I got their new demod driver to compile, but quite a bit of work is needed to disentangle all the other drivers (tuners, demux) from their code so that each driver follows kernel APIs and can be independently compiled. Someone also needs to write a V4L2 deinterlace driver because we cannot use the Amlogic vendor drivers; it's written against a bunch of proprietary APIs that don't exist in the mainline kernel.
TL/DR; I wouldn't expect to have "integrated" DVB stuff working anytime soon.