Modify the argument of os_cond_reltimedwait to uint64 type to support long time wait, and handle possible integer overflow.
RIOT removed kernel_types.h in favor of sched.h
* add RIOT platform see riot-os.org * add simple RIOT example