[PATCH 07/10] docs/devel: update tsan build documentation