[PATCH 12/16] hrtimer: rewrite switch_hrtimer_base() to remove extra indentation level