Xorg DDX driver for ARM devices (Allwinner, RPi and others)