I don't think I had to do anything to get it to work beyond connecting the PS3 to the receiver via HDMI. Do you have HDMI audio set to PCM on the PS3? I don't remember if there is such an option but if there is do you have the audio output on the PS3 set to HDMI?
_________________________
No matter where you might be, there you are.