Mali-400 r3p2

This pull req. introduces Mali-400 r3p2 support for exynos4412.
Old r2p4 is still here, selection is done using two CONFIGs, odroidx2_ubuntu_defconfig already updated for r3p2 usage.

Screenshots of r3p2 running on ubuntu:
http://imgur.com/a/f9pio es2gears glmark2
http://imgur.com/a/keaPD XBMC Eden

Stuff still missing:
1) update for other _ubuntu defconfigs
2) testing of r2p4 on android, I dont have r2p4 setup with android.
3) GET_SECURE_ID_BUF1 and GET_SECURE_ID_BUF2 ioctls (we use Xorg drivers that dont use these, but in future we could benefit from them).