@magicse, melanrz: I am also trying to get it compiled, but I am stuck somewhere else. I noticed here: http://forum.lemaker.org/thread-1837-1-1.html that it seems that we also need the disp_ump module, since it is implemented in the instructions on that page.
cat > /etc/modules-load.d/mali.conf <<EOF
ump
disp_ump
mali
mali_drm
sunxi_cedar_mod
EOF