While we do know that NXP does load the HDMI Firmware in the U-Boot Bootloader prior to booting the Linux kernel we had a different use case. Unfortunately, loading the HDMI firmware from the Linux kernel instead did not work. The following commit fixes this. Would this be something NXP is willing to include in any of their subsequent future BSPs? Thanks!
