Maybe we can build a test kernel with the 100Hz timer instead, see if that makes a difference - which I'm almost positive it will.