[PATCH 10/16] hrtimer: make enqueue_hrtimer() return void