# CONFIG_USB_SERIAL_EMPEG is not set
