>>16
よくわかってないけど本来はACPIテーブルに書かれた名前で動くはずなので書き換えなくても良いのでは？

10.11でUSBドライバが刷新されてACPI情報を利用するようになったけど、ACPI記述が間違っている・不十分な
実機もあるので機種IDによってはEHCxの情報をkextで上書きするらしい。DSDTで正しい情報を提供しても
上書きされてしまうので、それを回避するためにEHCx ―> EH0xへの書き換えが行われている。
なので問題なく動いているならあえて実機の名前に揃える必要はないと思う