Force to use Exynos3250 kernel header, not sc7730

No match.