before everyone post here it is cool
it was called vidock just google for it, if its expensive for you just use:
PE4L from
www.hwtools.net and build your own Expresscard x1 to HDMI to custom PCB with x16 which is in reality a x1 link.....
that runs with any Notebook and is faster than most IGP's but because of massive bandwith prob. won't perform too god
it is nice to see some one else with the solution but credits should go to the engeneers for that crazy baby, and btw. take out the GPU and swap in what ever you like...good Soundcard ^^
EDIT:
http://hwtools.net/Adapter/PE4H.html
notice the two HDMI Slots on the PCB it supports even x4 link if you are willing to kill your internal mini pci-e wifi! :-)
support is tested for some 8 and 9x00 low end Nvidia GPU and most ATI adapters as they are more bandwith sayviour than NVs