I'll do some research and share if I find anything remotely useful. Do you have any kind of a flowchart or (high-level) code showing how you are initialising and maintaining HDMI signal?
When does the next official firmware come out?