ARM: dts: Use s3c6410-rtc instead of exynos3250-rtc for exynos3250/4415