[SeaBIOS] [PATCH] Improve USB reset timing