Restore reference to `time`

Seems like these references were lost durining convertion from LaTeX.

See https://github.com/riscv/riscv-debug-spec/blob/f510a7dd33317d0eee0f26b4fa082cd43a5ac7ea/Sdext.tex#L47-L49