The "BROADCOM CONFIDENTIAL" header in a few of them certainly made me think otherwise...
codecs are mostly code in the firmware that uses vector instructions of the VPU to accelerate the video decoding
That means it should be possible for open-source firmware to add more, freely usable, codecs than in the proprietary firmware.