Siempre que el portatil sea capaz de reproducir los mkv con fluidez, no debería haber diferencias de importancia (la señal es digital y debe ser procesado por el TV, y/o el AVR). Puede darse el caso de que el portatil no sea capaz de sacar por hdmi sonido multicanal (depende del portatil), pero salvando estos casos la calidad debería ser la misma.

Otra cosa es que el portatil puede por ejemplo reescalar los divx SD por software estupendamente, y que es perfectamente actualizable , pero es mas caro, da mas problemas (ya sabes, las peleas habituales con windows), y si no lo vas a dedicar solo a htpc, esta el tema del rollo de andar conectandolo, etc., cuando en un reproductor multimedia le das a un boton del mando y ya rula.

Teniendo en cuenta que un WD TV HD sale por 100 leros y que un portatil apto para HD andará por 500 (como muy minimo), creo que me decantaría por el WD, sobre todo por comodidad. Ahora bien, para estas cosas uso un portatil que compre entre otras cosas para esto (el reproductor multimedia que leia mkv mas barato salia entonces por más de 300 euros y el portatil me salio por unos 600), y cumple su funcion de maravilla.

Saludos.