# CONFIG_USB_SI4713 is not set