On Tue, Jun 04, 2019 at 03:34:17PM +0200, Peter Zijlstra wrote: > > Well, this is intended to not change semantics. If we should fix > > this is should be a separate patch before or after this series. > > Sure; it's just that I just noticed it. We've recently ran into a > similar issue elsewhere.