Re: [PATCH v1 02/33] drm/xen: drop use of drmP.h