Si tu portátil tuviese salida de sonido digital (s/pdif) y pudieras dar salida por la tarjeta sonido, independientemente del HDMI, con un minijack-coaxial-RCA al AVR tendrías la solución.