AESinkPulseAudio: Set hdmi / IEC958 device according to supported formats