# CONFIG_USB_SERIAL_WISHBONE is not set