Does knoppix support the TV tuner in the ATI AIW 8500? If so, how do I get it to work so that I can watch TV?