When I sent my earlier posts on this I didn't check that there was a kmdl at dl.atrpms.net that matched the current f17 kernel. I see a new kmdl has arrived today for 3.5.4-2. That may help.
http://dl.atrpms.net/f17-x86_64/atrpms/stable/nvidia-graphics302.17-kmdl-3.5...
John P