[PATCH v4 1/4] vkd3d: Mention the correct mutex in a comment.