Unfortunately, I have no experience with HDMI. I am wondering however if the receiver has to be configured to "understand" PCM. Or does it switch to PCM automatically?