[PATCH] drm/tve200: Fix smatch warning