ARM: EXYNOS: add exynos_get_boot_addr() helper