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