# CONFIG_USB_OHCI_HCD_SSB is not set