Entonces, logré el arranque dual de Windows 8.1 y Ubuntu 13.04. En Ubuntu 13.04, instalé los controladores para mi tarjeta gráfica (AMD HD Radeon 7700 Series, estoy bastante seguro de que es una 7790 e Intel HD Graphics 4600 para la placa base, pero esto no debería ser necesario, considerando que no es la placa base donde he conectado el HDMI) para HDMI. Fui a Configuración del sistema y luego a Sonido, seleccioné la opción de sonido HDMI. Ahora, cada vez que reproduzco algo que tiene sonido, el audio tiene estática y chisporroteo. No juega correctamente. Intenté buscar, pero todo lo que encuentro son preguntas en las que el audio HDMI simplemente no se reconoce y no se reproduce.