Hello again, Jake. Yes, I've installed it, and I've rebuilt cache, getting error 17, but it's not working. But while trying I've noticed something. The problem with the HDMI video output wasn't the ig-platform-id, the problem is with the sound driver.
When I changed ig-platform-id to 01660009, I also installed the AppleALC kexts to get some audio meanwhile, and in the next reboot worked audio and HDMI video output. But what was enabling HDMI was the AppleALC kext, not the ig-platform-id. Now, trying to reinstall AppleHDA_IDT to check if I rebuilt caches correctly, I was getting again the problem with HDMI. I've turned again to AppleALC (and turned ig-platform-id to 01660004) and I've got working HDMI.