Can you also run
ls /etc/X11/xorg.conf.d/
If there's not already a file called 20-nvidia.conf in there, then download the attached, and:
tar -xzf 20-nvidia.conf.tar.gz
sudo cp 20-nvidia.conf /etc/X11/xorg.conf.d/.
At that point, in theory, you should be able to put your cables back computer to AVR, AVR to TV and reboot, and it should work. Or might not. Anyway... let me know.
Ok, let me see
cat /etc/xorg.conf
We're on the home straight, as soon as I work out where your X settings are hidden