Re: [PATCH v1 12/33] drm/vkms: drop use of drmP.h