[SeaBIOS] SeaBIOS xhci driver