And if Gentoo's binary support is good enough for even ChromeOS, I'd imagine it'll also work perfectly fine for SteamOS.