Force to use Exynos3250 kernel header, not sc7730