[PATCH v3 05/18] docs/devel: update tsan build documentation