# CONFIG_DVB_RTL2832_SDR is not set