The bug does seem to be fixed in the mainline kernel v4.13.0-041300rc4-(4.13.0-041300rc4.201708062231). I will add the tag. Thank you.
The bug does seem to be fixed in the mainline kernel v4.13.0- 041300rc4- (4.13.0- 041300rc4. 201708062231) . I will add the tag. Thank you.