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

[Kevin O'Connor]

On Fri, Dec 18, 2015 at 06:11:56PM +0000, edward wandasiewicz wrote:
> As requested.

Thanks, but I had an off-by-one error in the patch - can you do the
same thing with 45-gec65068?

-Kevin