# CONFIG_USB_MUSB_HDRC is not set