Better get him the X2 4800+ rather than the FX57 as he is not going to overclock. Will work well in normal applications and multitask well too. Gaming performance will be slightly lower though. Just my 2 cents.
Also i doubt he will need that kind of RAM since he is not overclocking. Sticks like this that will do tight timings of 2-3-2-5 (currently the best timings for a 1GB stick) at stock speeds of DDR400 will be better.
OCZ Titanium 1GB
Patriot 1GB Model PEP1G3200LL (slightly better as it does so at 2.5V)
Raghunandan.