Are the AMD cards on open-source RadeonSI or on the proprietary Radeon-PRO stack? That's not mentioned in the article as far as I can tell