# CONFIG_DVB_DIB7000P is not set
