[Trumpcard]

Ive been plugging this one for awhile, but I think in his case running the Gentoo distro is probably his best bet. Everything you decide to install is compiled locally from the source, giving you the best chance for optimal performance.