Eventually, we tracked the bug down to one single line of code that failed because it assumed all graphics cards are created equal.
We finally found a piece of erroneous code that suffered from false assumptions.