Yes, kernel 4.14.0-041400rc3-generic resolves the bug. The test case in #1 succeeds with that kernel.
Yes, kernel 4.14.0- 041400rc3- generic resolves the bug. The test case in #1 succeeds with that kernel.