OffLoad could you try installing raspbian on an sdcard, and use the display configuration tool to switch to 4kp30.
Does that have the same problem? If so can you also try with hdmi connected to other hdmi port
(this doesn't work with kodi, but should with raspbian).
Does 4kp24 work?
I'm suspecting that the cable is borderline (I know it has worked on another device, but it could be just on the edge of being usable at 4kp30).
But to begin with see if we can rule out a kodi/LE issue.