[Bug 117655] /dev/vbi not linked to /dev/vbi0 for tv card install/config