Basically anything they sell him will be faster than his current laptop. Many of the low power i series aren't actually much better than a celeron, but they're very common in new laptops.
CPUs aren't the bottleneck though, disk I/O and I/O in general are where most "slowness" issues are promulgated from.
