Unless I hit the problem again, this bug will likely just fade into oblivion, as I have no way to reliably reproduce the problem. And that makes it hard to determine whether a mainline kernel helps or not.
