USB: add support for multiple PCI OHCI controllers