[PATCH] hrtimers: cleanup locking