What do you mean by the performance boost of Android media players? Do they perform better on Chrome OS than watching video in the browser? I'd imagine that in a lot of cases, the max bitrate served to mobile clients may be lower than the web, although I'm not sure this is true for all the services you named.