Change the PS3 setting to PCM or Bitstream, see what happens + the PS3 has (somewhere) a setting for changing audio outputs via HDMI, so that could be it & mostliky that is set to PCM but for you it sould be bitstream.