Squash me later (better read the documentation)
AESinkPulseAudio: Set hdmi / IEC958 device according to supported formats