# CONFIG_USB_SERIAL_EDGEPORT_TI is not set
