Xorg DDX driver for ARM devices (primarily Allwinner A10/A13/A20)