El audio HDMI de Nvidia no está visible en el sistema

Recientemente instalé Arch Linux en mi pc. Estoy usando una Nvidia GTX 660 Ti conectada a un receptor a través de HDMI. No puedo hacer que el audio funcione a través de esta connection HDMI. Al lado de mi tarjeta de video tengo un audiochip a bordo realtek que realmente no quiero deshabilitar y una tarjeta de video AMD R7 que está deshabilitada en efi. Estoy usando los controlleres de propiedad de Nvidia y mi sistema wholse se actualiza a partir de hoy.

lspci -k informes:

 01:00.1 Audio device: NVIDIA Corporation GK104 HDMI Audio Controller (rev a1) Subsystem: ASUSTeK Computer Inc. Device 841e Kernel driver in use: snd_hda_intel Kernel modules: snd_hda_intel 

aplay -l informes:

 card 0: Generic [HD-Audio Generic], device 0: ALC887-VD Analog [ALC887-VD Analog] card 0: Generic [HD-Audio Generic], device 3: ALC887-VD Digital [ALC887-VD Digital] 

¿Cómo puedo hacer que mi puerto HDMI se muestre como un dispositivo de audio?

Related of "El audio HDMI de Nvidia no está visible en el sistema"

El problema fue la implementación de IOMMU en mi chipset. Aparentemente, la combinación de IOMMU y mi tarjeta de sonido no funcionó, después de deshabilitar el IOMMU en EFI, funcionó mágicamente.