Hi all,
Alright, here's a patch that should enable the Mali drivers (if integrated into the kernel) on 4.12-rcX kernels.
https://raw.githubusercontent.com/Miouyouyou/MyyQi/master/patches/kernel/v4.12/0300-Adding-Mali-Midgard-and-VCodec-support-to-Firefly-RK.patch
I also provided the appropriate precompiled DTB files in https://github.com/Miouyouyou/MyyQi/tree/master/boot , along with kernel images and the related modules in https://github.com/Miouyouyou/MyyQi/tree/master/lib .
That said, 4.12-rcX do not have support for some unrelated drivers like the video compression/decompression.