You'd better try the new kernel release, i made it work w/o recompiling anything, just apt full-upgrade on armbian, switch to the new kernel and it will be ok
I'm using it since the 19/10/08 kernel release, no problem with glxgear nor compositing, glxinfo tell me direct rendering is enable, the driver support
also good video decoding..
i'm waiting for h264 encoding support.. then i will total happy