Comment 4 for bug 961286

I can see the same thing here.
No HDMI device can be found in the output devices list,

My trace from the control center shows that the HDMI ports are unavailable, this would be why ...

>>>>>>>>>>>>>>>>>>
 SET PROFILES HDMI / DisplayPort 3
 create_ui_device_from_port, direction 1
 description HDMI / DisplayPort 3
 origin Built-in Audio
 port available 0

 SET PROFILES HDMI / DisplayPort 2
 create_ui_device_from_port, direction 1
 description HDMI / DisplayPort 2
 origin Built-in Audio
 port available 0

 SET PROFILES HDMI / DisplayPort
 create_ui_device_from_port, direction 1
 description HDMI / DisplayPort
 origin Built-in Audio
 port available 0

 SET PROFILES Microphone
 create_ui_device_from_port, direction 0
 description Microphone
 origin Built-in Audio
 port available 0