Re: [PATCH v4 8/9] drm/tinydrm: Use drm_fbdev_generic_setup()