[SeaBIOS] [PATCH] Initial support for USB hubs.