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
cpuidle-exynos4: calm down some logspam

* noticed these CONSTANTLY flooding the log with screen off
  using wireless adb (so it was unplugged)

Change-Id: I4df4f0da9f62cfd86552b77c71d4a2de11dac5d4
Merge branch 'cm-11.0' of https://github.com/CyanogenMod/android_kernel_samsung_smdk4412 into cm-11.0