prebuilt kernel (new Mali DDK - Mango)

Fix includes:
31de45a Merge branch 'android-exynos-3.4' into android-exynos-manta-3.4
cad4111 mali: ARM Mali driver kernel trunk sync [revision 100433 (Mango)]

Bug: 12701464
Change-Id: I0944d935eb9a61f690048f0080f61a564a42e79d
diff --git a/kernel b/kernel
index d264ddf..327ee8a 100644
--- a/kernel
+++ b/kernel
Binary files differ