Re: [SeaBIOS] xhci controller and slot count