Very Cool!
I'm using an Android phone as a screen and found some issues when using this version with HDMI:
(I'm using the 4.3k preset)
1. In order to get HDMI to work, I need to press the 'info' once, otherwise no image is being updated
2. Sometimes there's a strange and wierd flickering on the sides
3. Focus Peaking doesn't work, just shows lots of noise at the bottom
4. Probably not related to HDMI - I can't set the shutter speed. It's stuck at 1/26 and ignores my cannon shutter speed. I've tried going into the ML menu and change it but I can only change the 'TV' which doesn't seem to affect the shutter?
Because of '2' and '3' I Decided to also check this in Danne's Build listed above.
I've built (Based on source code online with some changes) a small Android app that gets HDMI input and stretches it. The result is actually pretty cool:
Camera:

Vs Phone (6.1 inch):

It seems like Danne's build also has issues with the HDMI:
1. Focus Peaking doesn't work here aswell
2. After recording, I've checked the videos in my computer. it seems like every few seconds there a PINK corrupted frame. This doesn't happen If i record without HDMI.
Any idea how to fix the Focus Peaking & Shutter?