It uses the Sony cxd2880 chip which I think might be used by other USB dvb-t devices, hence the modules existing in the first place. I'm running
insmod /boot/modules/cxd288-spi.ko
insmod /boot/modules/cxd288.ko
as well as adding the overlay. It should, I think, appear as /dev/dvb0 but doesn't. Maybe a file in the /system/lib/hw is needed? My knowledge at this level is a bit lacking I'm afraid.