[PATCH RFC v4 0/3] Armada DRM driver