ありがとう>>21,22
WIndowsだと快調っていう説明がどうしてもできなくて、
1) USB3.0のハブを買って問題を忘れる(たぶんハブの先なら2.0も認識されるはず)
2) 左側のポートが載ったサブボード(3千円強)を取り替えてみる
というのをどちらも実行できずに、不便なままで、ずっとモヤモヤしてます。

SMCのリセットって目に見えて何か変わったような気がせず、これもモヤモヤ。
もうちょっと悩んでみて、思い切って、2) をやってみます。