# CONFIG_USB_DWC3_HAPS is not set