i've been hunting down this annoying timer-related bug, currently i've added select GENERIC_CLOCKEVENTS_MIN_ADJUST to get the ticks cranked down significantly, i think this is part of the problem. it's all experimenting repeatedly trying different things, quite annoying as it takes a while to compile and boot. l.