A new version 2 of the patch "NUC HDMI port issues" has been posted: [V2] drm/i915/glk: Add Quirk for GLK NUC HDMI port issues
BROKEN due to Kodi bug: I've uploaded #0614b: libreelec-generic.x86_64-9.0-milhouse-20180614232731-#0614b-g83c436f.
This build uses the V2 patch [V2] drm/i915/glk: Add Quirk for GLK NUC HDMI port issues. - Patchwork instead of linux (Generic): drm/i915/glk: GLK HDMI workarounds (i915.glkhdmi=2) · LibreELEC/LibreELEC.tv@88b6533 · GitHub (the i915.glkhdmi=2 parameter is no longer required by the V2 patch).
EDIT: Use build #0614c in this post.