Exynos4 kernel for Ubuntu Touch on i9300 (raring-ringtail)