D. EDID/Hotplug or DP-to-HDMI adapter issues
If your 4K monitor feels sluggish and is locked to a 30Hz refresh rate over HDMI, your framebuffer might be restricted by pixel clock limits. hackintosh hdmi fix
HDMI audio requires coordination between your graphics card and your motherboard's audio controller. hackintosh hdmi fix
Note: If con1 does not resolve the issue, repeat the process by replacing con1 with con2 or con3 until your screen activates. 4. Fixing HDMI Audio Issues hackintosh hdmi fix