system timer: fix crash in <100Hz system timer