Я имел в виду выбрать устройство HDMI в ~/.asoundrc, в VLC нужно выбрать просто использовать вывод через ALSA (устройство либо по умолчанию, либо, если пункта По умолчанию нет, то HDMI).
Видите, вы выбираете вывод через ALSA, но звук не выводится, и то, куда он выводится, зависит от выбора профиля в PulseAudio. Но причём тут PulseAudio, когда вы выводите через чистую ALSA? Значит, ALSA пернаправляет звук на PulseAudio, вам это перенаправление и нужно отключить для одного приложения (VLC), поставив вместо него вывод через порт HDMI.