[PATCH 08/16] hrtimer: make switch_hrtimer_base() return void