Import Mali kernel drivers from linux-sunxi with minor changes to arch/config.h for RK3066's Mali400MP4.
This is a shot in the dark - the memory addresses could be way off, so test at your own risk!