[PATCH v2 05/20] docs/devel: update tsan build documentation