timekeeping: fix rounding problem during clock update