reppinhighz wrotebased on the specs, they are practically the same thing with the exception of HDD small difference in size and windows versus no OS.
i can tell you from experience, the 740m is a great card for casual gaming. Im running the 64bit version on my lenovo touch z510 and i am able to run everything on at least medium settings especially with nvidia's constant driver updates which really boosted frames over the past few months.
If the ones above are 128bit then you will get even better performance.
id say go with the windows one since itl give you the satisfaction of just turning the thing on and using it right away. Not that its a hassle to install windows. :)
I just realized how useless my post was...since as you said they are practically the same and I already know that...didn't know what got into me when I wrote it lol :p
Thanks for your feedback about the graphics card. However I'm still hesitant towards the CPU...I found that the 3632QM would be a better choice especially for gaming so I'm considering another laptop...an HP pro book 450 G1 having this cpu and an HD8750M gpu...guess I need to do more research about this gpu.