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
1 file changed