The vtim_real in Lck_CondWaitUntil() is not meant to be INFINITY, and it
should only apply to the vtim_dur passed to Lck_CondWaitTimeout(). In
practice it does since the latter calls the former. It could be enforced
by extracting a static function from Lck_CondWaitUntil().

This accommodates a few timeout parameters that are used for cond waits.