Remove tasklet_hrtimer

[Sebastian Andrzej Siewior]

I just noticed that we still have the tasklet_hrtimer infastructure in tree. A
while ago we tried to remove it.
I digged the old patches up and it seems they did not apply and nobody followed
up. So here they are again. Last two user.

Sebastian