For moderate gaming, which is better?

SONY VAIO VGN-CR36G/B (core2duo T8100 2.1 GHz, 3 MB L2 cache, 800 MHz FSB ; 2 GB DDR2 SDRAM 667 MHz ; ATI Radeon 128 MB graphics) or HP Pavilion dv6767TX (core2duo T5550 1.83 GHz, 2 MB L2 cache, 667 MHz FSB ; 3 GB DDR2 SDRAM 667 MHz ; nVIDIA 8400M GS 256 MB graphics). I don't remember the ATI graphics type, but it is a cheaper one, something named X2300 or else. I don't wish to play Crysis but games like F.E.A.R or Enemy Territory.