smdk4412: update mali driver

from GT-N7100_SEA_KK_Opensource

Change-Id: I1ddaa2c88660427348f359a6477aced196c4d7dc
smdk4412: fix build

Change-Id: I3b9e6cee7343c9dd3a7ae68694e60991047db50d
Signed-off-by: Jorge Ruesga <jorge@ruesga.com>
smdk4412: Remove possible backdoor

Based on http://goo.gl/Slb4JI by broodplank

Change-Id: I4567b60e9bfc7103cb6eb2db0e514bdd02aa62f1
Merge "smdk4412: update mali driver" into du44
Merge "smdk4412: fix build" into du44
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