# CONFIG_DVB_USB_DEBUG is not set