Eventually, we tracked the bug down to one single line of code that failed because it assumed all graphics cards are created equal.
The developer who wrote that code is thoroughly embarrassed and is working to develop a better understanding of graphic card drivers.