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
Fix kernel build errors for GT-N7000

defconfig: cyanogenmod_n7000_defconfig

Fix two mali400 drivers compile together 
Use mali400 r3p2 driver,disabled mali r3p1 driver.

Change-Id: Ia6c4290414b3f97f57b38da41dae6107c4d9c657