[PATCH 09/16] hrtimer: make lock_hrtimer_base() return void