[SeaBIOS] USB3 problems