Como depende la version de la imagen que se tenga introducida puede variar la version de drivers segun el kernel que tenga la imagen.

Lo mejor primero mirar si estan los drivers en repositorios de la imagen, podeis ver si estan en descarga desde el menu descarga en la opcion manejo de paquetes y buscar e instalar haber si os aparecen estos dos:

kernel-module-dvb-usb- af9015
firmware-dvb-usb-af9015

Una vez instalados, reiniciais el receptor y comprobar que funciona el usb-tdt, en el caso de que no, igual hay que modificar un archivo de modulos del receptor, en ese caso ya mirariamos como modificarlo.

pero en principio mirar si esos dos drivers estan en descarga desde manejo de paquetes e instalarlos y mirar si funciona.