Yes, it's true, at least with me but after several tests (and restarts) I give up — again, just one time, the system boots ok. I think that problem is related only with AppleHDA — or maybe with AppleHDA and HD3000— so I decided roll back to v272.51.3 (10.11.3), until find a solution, and everything is works perfectly.
Take in mind that I'm using vanilla AppleHDA and DSDT do you already seen. So, I think that the only file that I can provide from a unbootable system is
debug.log from Clover where there's 3 versions of it:
• ERROR BOOT, with dsdt hdmi injector (HDA v274.7/10.11.4)
• BOOT OK, with dsdt hdmi injector (HDA v274.7/10.11.4)
• BOOT OK, with dsdt hdmi injector (HDA v272.51.3/10.11.4)
Remember, if I remove "hda-gfx, onboard-1" from DSDT (and use 10.11.4 AppleHDA) system works fine, but no HDMI audio.
If there any other file that I can provide, please tell me.
Regards and sorry for any inconvenience.