I have tried LibreELEC 9.2.4 Generic on my Clevo N130WU ultrabook with i5-8250U / Intel UHD Graphics 620, which has a HDMI port capable of 4K@30Hz and a miniDP port capable of 4K@60Hz.
I have bought a miniDP to HDMI adapter and a HDMI cable that are supposed to support 4K@60Hz, but strangely when using that connection, LibreELEC identifies the connected monitor (a ViewSonic PX747-4K projector with HDMI1 input capable of 4K@60Hz) as HDMI1 and only offers 4K at a maximum of 30Hz.
Is that a limitation of LibreELEC / Kodi or what other reason could there be for not being able to utilize 4K@60Hz?
P.S. On my search for more information I have stumbled across the setting “hdmi_enable_4kp60=1“ in config.txt, but obviously that's only for the Raspberry 4 as there is no such file in the Generic x86_64 installation.