Eu não acho que isso importe muito, já que no seu caso a placa de som passava o som (ou seja, digitalmente) e não o processava. Obviamente, o cartão deve suportar passagem de áudio digital.
No final, é também isso que você está tentando alcançar, como o receptor faria um trabalho melhor do que a placa de som usb.
Veja algumas informações relacionadas: link A linha de base é que uma placa de som barata USB é a melhor solução, como um extrator de áudio HDMI é muito caro no grande esquema de Raspberry Pi-coisas (sendo de baixo custo).