Hook into the device model to make sure that timekeeping's resume handleris called. This deals with our clocksource's non-monotonicity over thesave/restore. Explicitly call clock_has_changed() to make sure thatall the timers get retriggered properly.