[k200] Enable support for digital TV tuners in Linux kernel
[g18] Enable support for digital TV tuners in Linux kernel
[k200] Include both Realtek 8188EU and Realtek 8188EU-MP Wi-Fi drivers
[aml] Update Linux kernel to 3.10.33-d6039b7