Forgot to mention this. Regardless of the circumstances, the EDID I got using
"xrandr --prop" is identical to the one when the screen resolution is correct
(4K@60Hz), so in my case, the monitor is always correctly identified, just that
the resolutions aren't visible.