Bonjour WaDi,
j'ai rédiger une faq pour toi ! J'ai aussi remarquer que le kernel 4.6 (rc6) ma poser moins de soucis pour ma part sur la sortie audio HDMI.
Je te conseil de changer de kernel que si ta réussi à vfio sur le kernel que tu es. (Connaitre kernel uname -r)
Une fois réussi tu devrai voir si le changement de kernel résoud ou pas ton soucis après plusieurs recherche bien avant.
https://doc.ubuntu-fr.org/vfio
Kernel 4.6 (RC6)
http://www.yourownlinux.com/2016/05/how-to-install-linux-kernel-4-6-rc6-in-linux.html
