[uefi] enable 32bit uefi support
linux: Add support for TechnoTrend CT2-4400 and 4650 USB tuners
linux: Add support for the DVB-T2/C tuner of DVBSky T9580
Merge pull request #3581 from trsqr/tt-usb-tuners

linux: Add support for TechnoTrend CT2-4400 and 4650 USB tuners
Merge pull request #3583 from trsqr/dvbsky-t9580-dvbt2

linux: Add support for the DVB-T2/C tuner of DVBSky T9580
Merge pull request #3574 from stefansaraev/efi32

[uefi] enable 32bit uefi support