[Bug 1196855] [RPi4] vc4_hdmi driver is crashing when 4K monitor is connected