USB: add new configuration variable CONFIG_PCI_OHCI_DEVNO