@mitu thanks, the issue is now resolved. I believed I disabled 4k at various points but I thought that framebuffer_width and height were sufficient for that. Using hdmi_group=1 and hdmi_mode=16 resolved the issue.
Contributions to the project are always appreciated, so if you would like to support us with a donation you can do so here.
Hosting provided by Mythic-Beasts. See the Hosting Information page for more information.