[PATCH 05/16] hrtimer: remove 'base' parameter from switch_hrtimer_base()