@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.