USB TV card and Linux