# CONFIG_USB_OHCI_HCD_OMAP3 is not set