Re: [PATCH] drivers: gpu: drm: xen_drm_front_drm_info is declared twice