Re: [PATCH] drm/xen: adjust Kconfig