Combination of http://www.dvbsky.net/download/linux/media_build-bst-130806.tar.gz and https://bitbucket.org/liplianin/s2-liplianin-v39 to make the Technotrend S2-4600 drivers compile in Ubuntu 13.10 with kernel 3.12.