RPi4 fbdev or fbturbo, and dtoverlay parameters?

[autominus]

Hi,
I am currently using ArchLinuxArm 64bit image for my Raspberry Pi 4. My system has 4.19.89 kernel image.
And I have some questions.

1. I want to install xorg with graphic environment (xfce4), but I see two packages: xf86-video-fbdev, xf86-video-fbturbo-git.
Which one should I choose?

2. I saw a thread: viewtopic.php?f=60&t=13933
I have an HDMI screen. So I wonder if I will see the same issue with an HDMI screen, when I use dtoverlay=vc4-kms-v3d.


I have Raspberry Pi 4 with 4 GB RAM. I set up gpu_mem=128 in config file.