glw: Use kernel timers to bound time spent in prop dispatcher