[PATCH v2 19/37] drm/tve200: Use drm_module_platform_driver() to register the driver