Fedora 12 ships with a hd_pvr driver built into it's kernel. Looking at the video4linux kmdl package that also has an hd_pvr driver. I was curious what the difference between the two is, if any? Anyone using the video4linux driver instead of the one in the kernel?