I haven't been able to test this yet, however, I've been able to test the N64 emulator and here's some Mali driver optimizations that helped me grab a good amount of FPS, when using mupen64plus with the Glide64MK2 OpenGL ES 2.x renderer :
echo `cat available_frequencies | cut -f1 -d" "` > min_freq
echo 20 > polling_interval
Also, I've been able to test SDL 2.0.7 with the KMS output and the GLES 2.x renderer and it worked beautifully. Here's how I tested it :
./configure --enable-video-opengles2 --disable-video-opengl --enable-video-kmsdrm --disable-video-mir --disable-mir-shared
Note that I tested this with the r14p0 wayland (gbm) Mali user-space binary drivers provided by Rockchip.
I don't know if you were aware of these optimizations tricks and that new SDL output, so here they are.