[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 thought, lets try swapping over the devices, but keeping the same
> Type-C cables on the left and right hand side and see what happens.
> 
> I get scenario 5.
> 
> 5. NO - Type C & Type C - one Philiips & no Mushkin
> 
> cbmem.no.TypeC.TypeC.one.Philips.no.Mushkin

Unfortunately, that log gets truncated before the interesting part.
Can you reproduce with debug log 3?  (Using 46-g0cc3233 is fine.)

-Kevin