HACK: manta prebuilt kernel (unofficial GCC 4.7: no panic. DDK)

This is to workaround the GCC4.8-built kernel that panics on boot.

b369a8c2 Merge remote-tracking branch 'exynos/android-exynos-3.4' into android-exynos-manta-3.4
6ad6834 mali: ARM Mali driver kernel trunk sync [revision 94453 (Jackfruit)]

Change-Id: I69058e2fed54b6872b4516307904972a7cd28b56
1 file changed