# CONFIG_USB_CDNS3 is not set