Re: [PATCH 3/9] drm/xen-front: Read driver configuration from Xen store