exynos: Export timer_get_us() to get microsecond timer