Почему мой второй HDMI alsa_output не обнаружен при запуске?

По какой-то причине мой аудиовыход не обнаруживается при загрузке или после выдачи команды pulseaudio -k. Это означает, что я не могу установить его как устройство воспроизведения по умолчанию.

Вывод для pactl list short sinks отображает:

0   alsa_output.pci-0000_00_03.0.hdmi-stereo    module-alsa-card.c  s16le 2ch 44100Hz   IDLE
1   alsa_output.pci-0000_00_1b.0.analog-stereo  module-alsa-card.c  s16le 2ch 44100Hz   IDLE

Однако, когда я перехожу к настройкам звука, он отображает 3 устройства:

Только один раз, когда я выбрал HDMI / DisplayPort 2 в настройках звука выводит результат pactl list short sinks на:

0   alsa_output.pci-0000_00_03.0.hdmi-stereo    module-alsa-card.c  s16le 2ch 44100Hz   IDLE
1   alsa_output.pci-0000_00_1b.0.analog-stereo  module-alsa-card.c  s16le 2ch 44100Hz   IDLE
2   alsa_output.pci-0000_00_03.0.hdmi-stereo-extra1 module-alsa-card.c  s16le 2ch 44100Hz   IDLE

В этот момент мой ~/.config/pulse файл по умолчанию для подключения к файлу теперь отображает устройство -extra1, как мне хотелось бы. Однако после ввода pulseaudio -k; все (включая файл-приемник по умолчанию) переключается обратно на аналоговый выход. Предположительно, потому что он не может найти указанный результат.

Есть ли причина, по которой pulseaudio не может видеть этот третий вывод по умолчанию? Что делает Sound Manager для его обнаружения?