Re: [PATCH v4 1/6] drm: add SimpleDRM driver