[PATCH V3 1/2] USB: OHCI: make ohci-platform a separate driver