[PATCH 8/8] drm: Make drm_get_platform_dev() static