Linus thinks SteamOS might increase desktop Linux use