# CONFIG_USB_MICROTEK is not set
