Out of interest are they running OKM or proprietary driver?
I don't know the full story, but afaik, AMD/Intel Mesa based drivers are fully open source and are built in a much more Linux-native way. But unfortunately hardware choice is out of my jurisdiction.