Pretty much the codecs, that are chunks of software, are burned into the receivers chipset. And the chipset codecs work on the way out to HDMI. Unlike your pc where you can install codecs, chipsets not having codecs such as those needed for 4:2:2. And not offered as microcode by the chip maker...