No the IMX8mp detects the monitors resolutions from the EDID fine.
The 4k monitor returns resolution settings that includes 3840x2610 and 1920x1080 resolutions and others at various frame rates, all as expected and fine.
The IMX8mp's hardware can do 1920x180p60 as well as 3840x2610p30. Unfortunately for us the IMX8mp Yocto Linux chooses to use 3840x2610p30 in preference to 1920x180p60 at boot somewhere. The 4k resolution is definitely not what we want as 1: the frame rate is too slow, 2: there are just to many useless pixels in use.
So we would wish the iMX8mp Yocto to ignore the 4k 3840x2610p30 mode and use the next best mode available, which with this monitor (and most others) would end up being 1920x180p60 but on another monitor could be 1280x720p60.
Apart from our wanting to have 60 fps, the Linux system crashes (complete kernel hang, not console messages, no Ethernet etc.) when psplash runs during the systemd boot sequence when the resolution is set to 3840x2610p30. Because of this we ideally want the lower level Linux to not use the 4k mode rather than do this at the Weston level.
We were hoping that it would be possible in the kernels DTB to effectively disable resolutions above 1920x1080 on the HDMI output. I guess we could modify the HDMI driver to do this somehow but are trying to reduce the changes to an almost production system.