Re: [PATCH] time: Fix get_ticks being non-monotonic