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

[Kevin O'Connor]

On Fri, Dec 18, 2015 at 11:51:16AM +0000, edward wandasiewicz wrote:
> I managed to replicate a scenario 2 but with Type-C instead of USB 3,
> with both 42-g9c58583 and 43-g55de21d
> 
> 2(b)  NO - Type C & Type C - once each (Philips & Muskin) - but double
> Philips showing
> 
> cbmem.yes.both.TypeC.TypeC.DoublePhilips.42-g9c58583
> 
> cbmem.yes.both.TypeC.TypeC.DoublePhilips.43-g55de21d

The 43-g55de21d revision was supposed to address the "double philips"
issue.  I need some additional debug information - can pull down
44-g809467a, decrease the debug level to 3, and forward the log from a
"double philips" boot?

-Kevin