Nope, huge memory leaks were caused by the r2p4 driver which was designed for ICS.
I'm currently working on it. There are a lot of barriers here, but I got Hardkernel and Insignal kernel sources which are already using r3p2, and am integrating these drivers into the CyanogenMod kernel. Got them compiling, that's a good start. I also got the Insignal blobs, but libUMP.so is missing. It should be compilable from source though.
There are a lot of great guys there, particulary Turl, hno, ssvc and rz2k from #linux-sunxi who have already dealed with Mali drivers. Also I get some useful answers from @
codeworkx even though he doesn't care anymore.