Hi, looking to get a new laptop but can't make my mind up.

The spec that I would like would be:

i5 proc
intel or nvidia graphics (not ati )
hdmi
esata

I will want to run Linux on it, and maybe a vm, plus the usual internet/dvds etc.

We deploy hp probook 6460b's at work which seem nice, but don't have hdmi, and the one or two Linux disks that I have had a chance to try have failed to boot (haven't had a chance to find out why)

any suggestions?