Re: [PATCH] drm: fix null-ptr-deref in drm_dev_init_release()