Re: [SeaBIOS] [PATCH] ehci: Fix bug in hub port assignment