[SeaBIOS] SeaBIOS recognising USB 3.0 on boot works - partly

[Kevin O'Connor]

On Sun, Dec 20, 2015 at 08:23:40PM +0000, John Lewis wrote:
> >
> >Thanks, but the "badboot" log doesn't seem to show the failure.
> >
> 
> Apologies, not thinking again. How about that one?

Okay - looks like you don't have the high/super confusion, but do need
the wait for port enable.  I cleaned up the patches and pushed them to
the testing branch, it would be great if you and Edward can verify
that the testing branch works as before.

-Kevin