Multi-frontend adapters (single tuner, multiple standards) provide
multiple frontend nodes and only one demux. So the device number
is only used when selecting the frontend.

I am going to assume that devices with multiple independent tuners
show as multiple adapters (otherwise this is totally screwed).