Para reproducir MKVs de alta definición FullHD, debe tener o un chip gráfico que decodifique por hardware (dxva), o bastante capadidad de procesador para hacerlo por software (te recomiendo al menos doble nucleo a 2 GHZ, yo tengo un core 2 duo a 1,66 y aunque en general puede con los MKV, alguno a 1080p se le atraganta un poco).

En cuanto a la salida HDMI, algunos portatiles con ese conector sólo sacan sonido estéreo por él. También tienes la posibilidad de conectarlo al AVR mediante conexion digital si el portatil sitne salida spdif (generalmente implementada en la conexion de auriculares, aunque no todos los portátiles la tienen).

Saludos.