Configurando saída de áudio HDMI com a placa de vídeo radeon HD5450 no Debian

Isto é uma coisa que demorei muito para aprender (tipo, uns 5 meses), mas que quando configurado, torna-se fácil.
Cheguei a perder as esperanças, pois em algum momento, apenas o driver proprietário catalyst permitia tal configuração.
Digitando 'lspci' no prompt, obtemos, entre as várias saídas, este resultado, caso tenham a mesma placa que eu (ou da mesma família):

Audio device: Advanced Micro Devices, Inc. [AMD/ATI] Cedar HDMI Audio [Radeon HD 5400/6300 Series]

Temos de fazer 3 coisas:

1) Configurar o GRUB para enviar uma mensagem ao kernel para ligar a saída de som HDMI para o driver radeon

Para isso, editamos o arquivo /etc/default/grub, e colocamos a opção

GRUB_CMDLINE_LINUX="radeon.audio=1"

Depois, é preciso atualizar o grub:

# update-grub

2) Selecionar a saída de som associada à placa de vídeo com o alsamixer

Digitamos alsamixer no prompt, e simplesmente alteramos a placa de som para 'HDA ATI HDMI'

3) Selecionar, eventualmente em cada software e mixers, o dispositivo associado à placa de vídeo

Esta parte, se necessária, depende do aplicativo que você está utilizando.

Se desejar (eu ainda não fiz isso), você pode entrar na BIOS e desabilitar a placa de som onboard na BIOS (ou desisntalar, se realmente deseja fazer isso), a placa de som offboard