The read_sched_clock should return the ~value because the clock is a
countdown implementation. read_sched_clock() should be the same as
 __apbt_read_clocksource().
Signed-off-by: NDinh Nguyen <dinguyen@altera.com>
Signed-off-by: NDaniel Lezcano <daniel.lezcano@linaro.org>