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