En general los TVs no redirigen el audio que les entra por hdmi a la salida de sonido digital, sino que por esta generalmente sólo sale el sonido de su propio sintonizador TDT.

Para lo que tu quieres hacer, deberías conectar el portátil por hdmi al TV, y al AVR mediante otro cable para meterle el audio. En muchos casos, aunque no siempre, la salida de auriculares de los portátiles tiene la doble función de salida digital de sonido spdif.

De ser este tu caso, podrías conectar esta salida a una entrada digital coaxial de tu AVR, mediante un cable especial jack mono de 3,5 mm. en un extremo (el del portátil) - 1RCA (al AVR). Estos cables son difíciles de encontrar, pero creo que también se puede usar el típico conversor estéreo jack de 3,5-2RCs, conectando sólo uno de los dos RCAs, y si no funcionase también venden cables en Y 1 RCA-2RCAs con lo que podrías hacer el apaño con los dos cables dejando sólo 1 jack de 3,5 en un extremo y un RCA en el otro.

Si tu portátil no tiene esta salida spdif, entonces sí, te queda la opción de comprarte una tarjeta de sonido externa usb que tenga salida digital. Hay bastantes soluciones, las más sencillas desde unos 25-30 euros. En cualquier tienda de informática mira en tarjetas de sonido.

Saludos.