Comment 13 for bug 1888598

ok, after setting it post-reboot, I see the following setting it as the default in the logs:

4572:I: [pulseaudio] core.c: default_sink: alsa_output.pci-0000_00_1b.0.iec958-stereo -> alsa_output.pci-0000_01_00.1.hdmi-surround

as well as the following active ports with `pactl list`:

 Ports:
  hdmi-output-0: HDMI / DisplayPort (priority: 5900, latency offset: 0 usec, available)
   Properties:
    device.icon_name = "video-display"
    device.product.name = "HTR-5063
    "
   Part of profile(s): output:hdmi-stereo, output:hdmi-surround, output:hdmi-surround71
  hdmi-output-1: HDMI / DisplayPort 2 (priority: 5800, latency offset: 0 usec, available)
   Properties:
    device.icon_name = "video-display"
    device.product.name = "LG Ultra HD
 "
   Part of profile(s): output:hdmi-stereo-extra1, output:hdmi-surround-extra1, output:hdmi-surround71-extra1
  hdmi-output-2: HDMI / DisplayPort 3 (priority: 5700, latency offset: 0 usec, not available)
   Properties:
    device.icon_name = "video-display"
   Part of profile(s): output:hdmi-stereo-extra2, output:hdmi-surround-extra2, output:hdmi-surround71-extra2
  hdmi-output-3: HDMI / DisplayPort 4 (priority: 5600, latency offset: 0 usec, not available)
   Properties:
    device.icon_name = "video-display"
   Part of profile(s): output:hdmi-stereo-extra3, output:hdmi-surround-extra3, output:hdmi-surround71-extra3

I put the machine to sleep for 30s, then wake it, and I see:

4824:I: [pulseaudio] core.c: default_sink: alsa_output.pci-0000_01_00.1.hdmi-surround -> alsa_output.pci-0000_00_1b.0.iec958-stereo

looking in the logs around that time, there's a bunch of errors about the hdmi audio devices, and interestingly, `pactl list` shows my output devices switching ports, even though that doesn't make sense:

 Ports:
  hdmi-output-0: HDMI / DisplayPort (priority: 5900, latency offset: 0 usec, available)
   Properties:
    device.icon_name = "video-display"
    device.product.name = "LG Ultra HD
 "
   Part of profile(s): output:hdmi-stereo, output:hdmi-surround, output:hdmi-surround71
  hdmi-output-1: HDMI / DisplayPort 2 (priority: 5800, latency offset: 0 usec, available)
   Properties:
    device.icon_name = "video-display"
    device.product.name = "HTR-5063
    "
   Part of profile(s): output:hdmi-stereo-extra1, output:hdmi-surround-extra1, output:hdmi-surround71-extra1
  hdmi-output-2: HDMI / DisplayPort 3 (priority: 5700, latency offset: 0 usec, not available)
   Properties:
    device.icon_name = "video-display"
   Part of profile(s): output:hdmi-stereo-extra2, output:hdmi-surround-extra2, output:hdmi-surround71-extra2
  hdmi-output-3: HDMI / DisplayPort 4 (priority: 5600, latency offset: 0 usec, not available)
   Properties:
    device.icon_name = "video-display"
   Part of profile(s): output:hdmi-stereo-extra3, output:hdmi-surround-extra3, output:hdmi-surround71-extra3