Portátil como reproductor multimedia

He estado toda la mañana en los centros comerciales y no tengo nada claro... :x según me dicen, el que un portátil venga con HDMI no significa que la señal la envíe a la TV en 1080... esto se está complicando... alguien me lo puede confirmar?

He encontrado por algo menos que los anteriores este HP con Turion X2 que seguro no le tiene que envidiar nada a los otros C2D:

HP PAVILION DV6-1235ES
AMD Turion X2 Dual-Core RM-75
4GB RAM
500GB HDD
ATI Mobility Radeon HD 4530

PVP 599€

Lo único que no es de de los de 13 o 14'' como máx. que buscaba

También he estado viendo otras opciones como serían un C2D junto con ATI HD.

¿Cuál me recomendaríais?

Salu2