ASUS U3100 Mini driver source seems to be working fine.
usb 1-7: new high speed USB device using ehci_hcd and address 11
usb 1-7: configuration #1 chosen from 1 choice
dibusb_mc_probe<6>dvb-usb: found a 'ASUSTeK DMB-TH' in cold state, will try to load a firmware
dvb-usb: downloading firmware from file 'dvb-usb-dibusb-6.0.0.8.fw'
dvb-usb: generic DVB-USB module successfully deinitialized and disconnected.
usb 1-7: new high speed USB device using ehci_hcd and address 12
usb 1-7: configuration #1 chosen from 1 choice
dibusb_mc_probe<6>dvb-usb: found a 'ASUSTeK DMB-TH' in warm state.
dvb-usb: will pass the complete MPEG2 transport stream to the software demuxer.
DVB: registering new adapter (ASUSTeK DMB-TH)
Found LGS8934 version=c
DVB: registering frontend 0 (Legend Slilicon 8934)...
adimtv102_readreg 0x00
adimtv102_readreg 0x01
adimtv102_readreg 0x02
adimtv102: successfully identified (2 0 e)
dvb-usb: ASUSTeK DMB-TH successfully initialized and connected.
Will try to watch TV later on.
