If I could afford a laptop with an nVidia card, I would buy one, but they are all nearly twice the price of these. The best I could get would be a 3 year old GEforce 8800 based one, refurbished. I would think that a 3 year old nVidia is still not going to be as fast as a current ATI or Intel, - even ignoring the reliability issues of buying a 3 yr old laptop. Correct me if I’m wrong.
Both of the above cards are supposed to be OpenGl 2.1, and the 4250 definitely has OpenCL support, as my wife has one and it runs SmallLuxGPU, though not with more than a 4* speedup than over the CPU only speed.
Go with ATI one I have a Lenovo TabletPC X61 with Intel 3100 card and I can say one thing , an dedicated card like ATI or NVIDIA it is better that one with shared memory.
My TabletPC it is good for what it is made bussines class -> drawings -> charts -> photoediting.
I’d find one with an Nvidia GPU inside you worry about the price difference but better drivers, better support so your spending extra cash for a reason.