smdk4412: update mali driver

from GT-N7100_SEA_KK_Opensource

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

Change-Id: I2c3f9dee52cd1241eb576a73893f8d8cf55bbe76
smdk4412: fix build

Change-Id: I3b9e6cee7343c9dd3a7ae68694e60991047db50d
Signed-off-by: Jorge Ruesga <jorge@ruesga.com>
smdk4412: fix kona bootloop

Change-Id: I21c2828a547f8387dada2e6393d92fe115e2491f
mach-exynos: cpufreq: Show list of available frequencies

This patch enables 'scaling_available_frequencies' attribute
showing list of available frequencies.

Change-Id: I9b6ad786ffaaba8ad6fe5aa9045fd793c095b5ae