Re: [PATCH v4 3/5] drm: add SimpleDRM driver