[PATCH 04/16] hrtimer: remove 'base' parameter from remove_timer() and __remove_timer()