Acho que a solução exata é muito difícil de encontrar. Então eu fiz isso em vez disso.
eu escrevi
extraargs=drm_kms_helper.drm_fbdev_overalloc=200 video=1024x768
em /boot/armbianEnv.txt e
Section "Monitor"
Identifier "HDMI-1"
EndSection
Section "Device"
Identifier "Allwinner sun4i DRM driver"
Driver "armsoc"
Option "DRI2" "true"
Option "ConnectedMonitor" "HDMI-1"
Option "CustomEDID" "HDMI-1:/lib/firmware/edid/1280x1024.bin"
Option "IgnoreEDID" "false"
Option "UseEDID" "true"
EndSection
Section "ServerFlags"
Option "AIGLX" "off"
EndSection
Section "Screen"
Identifier "Screen0"
Device "Allwinner sun4i DRM driver"
Monitor "HDMI-1"
EndSection
em /etc/X11/xorg.conf.d/80-armsoc-sun4i.conf.
Eu não sei se está correto, mas funciona para mim. Observe também - usei outro monitor. Este monitor funcionou também, mas com configurações diferentes.