# CONFIG_DVB_DEMUX_SECTION_LOSS_LOG is not set