Proposed Exynos4412 kernel (3.0.80) for s702 and Mixtile Garage boards