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>