What you're saying is false though.

You can read about what kernel SteamOS is using. The kernel itself is only like ~150MB, there isn't really a need to slim it down. I think, if anything, Valve contributes to the mainline kernel for linux.

Proton is the "fine-tuning", the OS is just Arch Linux with a paint job.