# CONFIG_USB_PCI is not set