[PATCH v3 3/4] vkd3d: Mention the correct mutex in a comment.