Timer, Util::Timer, TimedNotificationQueue (and possibly others) could be changed not to use Timestamps, which are based on the system clock, and instead use some form of processor ticks to provide a monotonic time source.

The reasoning for this is that backwards system clock jumps may delay the firing of timers by the amount of time the clock was changed.