Sorry, I should have attached that in a file.

Just before those kernel errors were these:

Nov 16 21:23:21 jackalope gnome-shell[1020]: JS WARNING:
[resource:///org/gnome/shell/ui/modalDialog.js 218]: reference to undefined
property "GdkX11Screen"
Nov 16 21:23:21 jackalope gnome-shell[1020]: Failed to apply DRM plane
transform 0: Invalid argument
Nov 16 21:23:21 jackalope kernel: [drm] {3840x2160, 4400x2250@594000Khz}
Nov 16 21:23:28 jackalope kernel: [drm] {1920x1080, 2200x1125@148500Khz}
N

I'm not sure if the first two gnome-shell errors are relevant.
The latter two kernel messages I guess reflect the attempt to change
resolutions to 3840x2160, but then is it trying to revert back to 1920x1080
albeit at 15Khz?