I am seeing all the HDMI sound devices shown...
Ensure that when you go to Settings > Ouput > Output Device... That it is set to "Digital Output ()S/PDIF).
If that is set and there is still no sound, then I see you Linux Boot Line set to "quiet splash". Open file /etc/default/grub, with sudo permissions and change the line
Code:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
to
Code:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash radeon.audio=1"
Save. Exit. Then in terminal
If either of those does not work, then please post the output of
Code:
pactl list short sinks