Re: [PATCH] hrtimers, timers: eliminate some jiffies-backed code