# CONFIG_DVB_USB_DIBUSB_MB_FAULTY is not set