smdk4412: update mali driver

from GT-N7100_SEA_KK_Opensource

Change-Id: I1ddaa2c88660427348f359a6477aced196c4d7dc
d710: build stage2 initramfs into kernel

Change-Id: I2c3f9dee52cd1241eb576a73893f8d8cf55bbe76
Merge "smdk4412: update mali driver" into cm-11.0
smdk4412: fix build

Change-Id: I3b9e6cee7343c9dd3a7ae68694e60991047db50d
Signed-off-by: Jorge Ruesga <jorge@ruesga.com>
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