hrtimer: Fix extra wakeups from __remove_hrtimer()
This page took 2.136391 seconds and 4 git commands to generate.