Thats maybe another reason to have your patch in mainline :-)
I will try it today with this case, if it will help.
Maybe it can be optional, and enabled via kernel parameter and /sys , so it
can be useful in case of crashes when TSC used and when timer is too slow.
Because it is not so useful just to disable hrtimers completely, if you need
them for some other task...
--