doc: re-added link to vxworks branch