I have a DVB card and an HD-PVR. Both of them create a /dev/video# device when initialized. But which device gets 0 and which gets 1 is inconsistent from boot to boot. How can I specify which device should take which node number?