ARM: EXYNOS: add exynos_set_boot_addr() helper