Modify the argument of os_cond_reltimedwait to uint64 type to support long time wait, and handle possible integer overflow.