prebuilt kernel (new Mali DDK - Lemon)

Fix includes:
e909fde ARM: exynos: manta: Change GPU options name
eb72885 Merge branch 'android-exynos-3.4' into android-exynos-manta-3.4
7e106d3 mali: ARM Mali driver kernel trunk sync [revision 97160 (Lemon)]

Bug: 10678767
Bug: 11791620
Bug: 11974155
Change-Id: If68e51e704d80fc36402576d2f31edef53470d3b
diff --git a/kernel b/kernel
index 5a7a339..e534c3e 100644
--- a/kernel
+++ b/kernel
Binary files differ