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

[Kevin O'Connor]

On Mon, Dec 14, 2015 at 07:02:14PM -0500, Kevin O'Connor wrote:
> The double detection looks like the controller doing something weird.
> I need to look closer at the spec, but I don't think I'll be able to
> do that until later in the week.

After reviewing the spec I have a guess to what is occurring.  Can you
pull the "testing" branch again and retry?

-Kevin