linux gamers, what distro do you use and why? do any of them make a difference in performance?