Hi
Is anyone able to offer helpful tips or new directions with this:
I am wanting to use a usb device with ID 0bda:2838 Realtek Semiconductor 
Corp. RTL2838 DVB-T on a MK802II mini pc using the Allwinner A10 cpu.

This device requires modules rtl2830.ko, rtl2832.ko and dvb_usb_rtl28xxu.
The second of these modules does not seem to exist without patches on 
kernel 3.4 but on a raspberry pi I have been successful using kernel 
3.10.25+.

Here is the relevant lsmod from the pi:
r820t                  16279  1
rtl2832                 8020  1
dvb_usb_rtl28xxu       14333  1
dvb_usb_v2             14860  1 dvb_usb_rtl28xxu
rc_core                16313  3 dvb_usb_rtl28xxu,dvb_usb_v2
rtl2830                 7378  1 dvb_usb_rtl28xxu
dvb_core               92797  3 rtl2830,rtl2832,dvb_usb_v2

However when I try to compile a kernel for the A10 with 3.10.25+ I have 
no success.

If I use the raspi sources for the cross-compile:
https://github.com/raspberrypi/linux/archive/rpi-3.10.y.tar.gz
I get errors that seem unresolvable:
e.g.: undefined reference to `v6wbi_flush_kern_tlb_range'

If I use the sunxi kernel source:
https://github.com/linux-sunxi/linux-sunxi/tree/reference-3.10
the compile completes without error and I get modules and a uImage file 
but the device won't boot

I am using this as a guide: 
http://jas-hacks.blogspot.com.au/2012/10/hackberry-a10-compiling-kernel-armhfs.html

I have tried using various .config files as a starting point including 
the pi and from the earlier 3.4 kernel without success

Does anyone have any experience in this area? Any help would be much 
appreciated.

Thanks
Rob