Whats the difference between them? I mean its all based on Linux from what i predict, so it doesnt matter, what matter is TIME which you should utilise this cards close to 99,98% of it. Not working, laying down loosing you money and getting old which is loosing money also.
Whatever OS you will choose, make it run already this is my advice.