Con linux è abbastanza difficile fare andare le porte USB3.0, talvolta i driver sono già integrati e va tutto anche senza far nulla, caso più fortunato, talvolta invece ci sono da installare driver appositi a seconda del chipset che comanda le suddette porte USB3.0, in questo caso c'è da fare aggiunte manuali.
Magari prova a fare una ricerca di driver aggiuntivi attraverso Mint, magari trova qualcosa
