[RFC PATCH] drm/xen-front: xen_drm_front_platform_info can be static