[PATCH] highres: do not run the TIMER_SOFTIRQ after switching to highres mode