Re: [PATCH 05/24] drm/vkms: Use devm_drm_dev_alloc