configure.in fix for defaults for Exynos4/Exynos5