Digital Devices/Linux4Media/Cine-CI support, needs vdr-externalci-patch