[PATCH] Time: Use clocksource infrastructure for update_wall_time