kernel: make USB_XHCI_PLATFORM selectable