But if you wanna do serious gaming, you're not gonna be usin linux, realistically. So he can still run linux on the machine, he just can't play high performance games on it, which he'd most likely do in Windows anyway.