[PATCH 11/16] hrtimer: don't check if timer is queued in __remove_hrtimer()