I just got the official word (from SanMehat in #android - thanks!) that the tethering speed problem (80k/sec or, coincidentally, 115200) requires an upstream fix (in-progress). The current driver is only capable of the basic 115200 speed. However...