OHCI: Fix problem if SM501 and another platform driver is selected