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