La nouvelle mise à jour du kernel Linux devrait booster les performances des distributions gaming comme SteamOS