[HowTo] Install a vnc server on the Raspberry pi

The following works for me.

in /boot/config.txt, change the line
dtoverlay=vc4-kms-v3d,cma-512
to
dtoverlay=vc4-fkms-v3d,cma-512

Set the resolution to maximum 1080p.

I have no idea if kms/fkms breaks anything else or e.g. affects performance. For higher resolutions than 1080p I fail to get a snapshot, and need to do a hard reboot to get it working again.