Is your PS3 set to output in multichannel linear PCM through HDMI instead of bitstream? You'll need to set that.