No, I'm not an RMS disciple but here I said GNU/Linux for a reason. Chromebooks aren't GNU/Linux. Torvalds doesn't seem to be saying that Steam will help with Chromebook-like devices--and why would it? The manufacturer will do what it takes to get the drivers working on those devices.
If you use just "Linux", then there's some ambiguity. If you use both "GNU/Linux" and "Linux" to refer to the same thing in consecutive sentences, then that's plain misleading.
