kernel/usb4bsd: Use pci_alloc_1intr() for MSI allocation in xhci_pci.c.