manta: prebuilt kernel (DDK)

de5a9ad Kick the build! Empty commit.
63a96ae Merge branch 'android-exynos-3.4' into android-exynos-manta-3.4
62828aa mali: ARM Mali driver kernel r4p0 EAC release [revision 104861 (Nutmeg)]
064d94a cpufreq: interactive: turn boost_pulse off on boost off

Bug: 11056450
Bug: 10134664
Change-Id: Ibcf87684182b4c932c187b8c5c55ea1492f239ac
diff --git a/kernel b/kernel
index a6c534b..eaca820 100644
--- a/kernel
+++ b/kernel
Binary files differ