CONFIG_DVB_DRXK=m
