Comment # 10 on bug 1179538 from Tom de Vries

(In reply to Jiri Slaby from comment #9)
> Hopefully fixed itself then? The same as upstream bug.

I've looked in the OBS logs, and it's not showing.

So it may have been fixed.  OTOH, it also may just not reproduce due to
peculiarities of the machine OBS runs it on, there's no way of telling.

My mention of the commit fixing the upstream kernel bug was to suggest a
possible culprit, not to suggest that the problem was fixed by the commit.

Anyway, there's not much we can do or conclude until we find a reproducer.