USB ehci documentation update

It mostly updates the description of the EHCI driver to point out
that several non-NEC implementations are now expected to work,
and that (high speed) ISO is supported.