Re: [SeaBIOS] USB/xHCI device detection issues