linux: Add support for the DVB-T2/C tuner of DVBSky T9580

DVBSky T9580 is a PCIe device has 2 tuners. One DVB-S2 tuner and one DVB-T2/C tuner. The T2/C tuner is currently not supported by the DVBSky patch. Now that open source Si2168/Si2157 drivers are available, this patch takes the T2/C tuner into use.

This included in kernel 3.18-rc1, so after taking 3.18 into use, the patch is obsolete.

Tested on x86_64 architecture.