[PATCH V2 5/8] hrtimer: don't migrate pinned timers