Yes, I am preparing all my hacks and patches for publication on github. I will also describe the problems I encountered, some of which I solved. I'm tired of this problem with HDMI audio, maybe someone else can solve it.
I don't know why HDMI didn't work for you. I have a problem that sometimes HDMI doesn't work after boot, but I did not look for the reason, because this rarely happens to me.