There have been some good deals on the socket-A sempron 3000 lately (2.0ghz, appears to be a barton core). That would be a significant upgrade over your friend's current processor.
Otherwise a used or mobile AXP would be best; if your friend is at all comfortable overclocking, you should be able to get something running at over 2ghz pretty cheaply.