Hah, nope it isn’t an Intel. I’m currently fighting with my wife’s old workstation that I’m trying to use as a Linux gaming rig. It has an i7 9700 in it, and it just does not want to run under 82C in game. I replaced the old thermal paste, added two (larger) case fans, and moved the HDD to improve airflow. I can try a better low-profile cooler, but I really don’t know if that’s going to do it either. Short of water cooling, which would mean new case as well, I don’t know what to do.
Oh, interesting. I was not familiar with Bazzite. I have a tiny Dell Optiplex hooked up to my living room TV, I was going to put Linux on there soon anyways. I wonder if that would be a good candidate for Bazzite.