Vale, me doy por vencido:
Los Portégé actuales como el r-500 tienen todo lo que tu quieres, exceptuando la salida hdmi
En sony vaio, tienes la serie sz con 13,3 pulgadas con duracion de 3h o asi pero sin hdmi y la serie tz que monta los ultra low con hasta 7h pero eso si, 11,1 pulgadas
Claro si quieres un portatil de este tipo, no creo que vayas a encontrar con hdmi, ya que a mi forma de ver son dos cosas opuestas, todos estos portatiles te vienen con grafica integrada para disminuir pesos y porque la gente a la que va enfocada no lo va a utilizar.
Esa es mi opinion, ojala me equivoque, suerte con la busqueda