I'm currently building 4.10-rcX Linux kernels for MiQi devices (RK3288 ARMv7 boards), integrating the latest Mali Kernel drivers r15p0-00rel0. In order to integrate these drivers, various patches are required due to changes in the internal kernel ABI.
I'll attach the main patch, targeting the Mali drivers in itself, to this post.
I host available builds of 4.10-rc3 kernels for rk3288 MiQi boards, integrating the Mali kernel drivers using these patches, on Github and Gitlab.
Thanks for the share Myy ;)