[SeaBIOS] xhci controller and slot count