[SeaBIOS] USB/xHCI device detection issues