Tvheadend

This is a combined question because I am not only unclear if the following hardware will run with TVHeadend 3.4 but also on unRAID 5rc11 (Linux unRAID 3.0.33), which is basically Slackware. Does the unRAID and TVHeadEnd need kernel support to use the tuner cards I have chosen (below)?

I am going to buy TV tuner PCIe (!!) cards to have 2 DVB-C tuners. If a card has only 1 tuner I will buy two of them. An onboard CI-Card slot is not necessary because I will have an external USB solution for that anyway.

If you have experience with any of the following boards it would be great if you would share it (sorry the links are for Amazon Germany):

Digital Devices Cine C/T
http://www.digitaldevices.de/english/Cine_CT.html

2xC
160 EUR

TBS 6680
https://www.tbs-technology.de/shop/product_info.php?products_id=29&MODsid=d88e3132a60e72837549b062b3d9a3df

2xC + 2xCI
154 EUR

TBS 6618
http://www.amazon.de/TBS-DVB-C-Single-Tuner-Kabel-HDTV-Empfangskarte/dp/B008HP544C/ref=sr_1_1?ie=UTF8&qid=1370783210&sr=8-1&keywords=TBS+6618

1xC + CI
90 EUR

DVBSky T9580
http://www.amazon.de/DVBSky-DVB-S2-bootf%C3%A4higem-Terrestrisch-Empfang/dp/B00C6A2RXU/ref=sr_1_1?ie=UTF8&qid=1370783146&sr=8-1&keywords=DVBSky+T9580

1xC,1xS,1xT sat, 1x
80 EUR

DVBSky T980C
http://www.amazon.de/DVBSky-bootf%C3%A4higem-Terrestrisch-Empfangskarte-Nachfolger/dp/B00C6A2PBO/ref=sr_1_1?ie=UTF8&qid=1370783048&sr=8-1&keywords=DVBSky+T980C

1xC + CI
100 EUR

DVBSky C2800
http://www.amazon.de/DVBSky-bootf%C3%A4higem-Empfangskarte-brandneuer-innovativen/dp/B008JA7PFG/ref=sr_1_1?ie=UTF8&qid=1370783091&sr=8-1&keywords=DVBSky+C2800E

1xC + CI
85 EUR