Le 5800X3D, sous Linux, il se débrouille comment ?