mali: add r3p1 for devices that need it

d710 needs to use old mali drivers due to new ones causing signal to be completely killed

Change-Id: I450c356b50e3f3521a63717a1c241e3b818b936f
d710: enable r3p1 mali drivers and autoregen defconfig

Change-Id: I08dc1617e3f77b63a4eee45f78abbb989a5276f4
Merge branch 'cm-11.0' of https://github.com/CyanogenMod/android_kernel_samsung_smdk4412 into kitkat