Where do I get the official user-space driver for Mali-T760 MP4 GPU r1p0?

I need a framebuffer user space driver for Firefly RK3288W based board. This SoC has Mali-T760 MP4 GPU r1p0.

On the official ARM website you will find the drivers for the GPU r0p0 and not r1p0: developer.arm.com/.../user-space

I have found this driver as a possible solution: github.com/.../libmali-midgard-t76x-r14p0-r1p0-fbdev.so

The problem is that I am using ubuntu 14.04 and I need that works in this system correctly.

The best solution would be to find a user-space driver smaller version than r14p0 but I can't find it anywhere. 

Rockchip no longer supports user space drivers. They suggest we search the web for ARM but I can't find anything.

I hope we can find a solution.

Regards.