Not sure there’s a better way to say it. I guess “the SteamOS fork of the Linux kernel” would be more explicit, but I assume most people who would read this are aware that SteamOS is built on Linux.