smdk4412-common: changes for mali r4p0 gpu driver

Change-Id: I4f2f45dd39f4e7b21a2d66ce91ce94b74d8f0690