smdk4412: don't use threaded vsync

The gralloc for smdk4412 waits for vsync. Having
threaded vsync in this case would be problematic
provided our gralloc implementation is different
from that of samsung.

Change-Id: I6c9a84c2bd00a43b47d86647829b9010367dca5d
mali400: use pegasus platform code from r3p2

r3p2 pegasus platform code has midas specific changes for
DVFS and also better support for Exynos4212.

This slightly improved the performance of the GPU.

Change-Id: I2ad903cd868e5c6bf1ce176aa43dfd056c19e5fc

Conflicts:
	kernel/power/main.c