Hmm, I'm out of the loop for linux, but I can't help but wonder what kind of processes in Linux require 6+ cores? Damn. Anyway yup, sounds like Ryzen is a no-go. You could look at the i7 8700k or the 9700k. If he's worried about cooling/wattage issues then probably you should get him a non-k...