[PATCH] drm/xen: adjust Kconfig

[Jan Beulich <jbeulich@xxxxxxxx>]

By having selected DRM_XEN, I was assuming I would build the frontend
driver. As it turns out this is a dummy option, and I have really not
been building this (because I had DRM disabled). Make it a promptless
one, moving the "depends on" to the other, real option, and "select"ing
the dummy one.

Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>

--- a/drivers/gpu/drm/xen/Kconfig
+++ b/drivers/gpu/drm/xen/Kconfig
@@ -1,15 +1,11 @@
 # SPDX-License-Identifier: GPL-2.0-only
 config DRM_XEN
-       bool "DRM Support for Xen guest OS"
-       depends on XEN
-       help
-         Choose this option if you want to enable DRM support
-         for Xen.
+       bool
 
 config DRM_XEN_FRONTEND
        tristate "Para-virtualized frontend driver for Xen guest OS"
-       depends on DRM_XEN
-       depends on DRM
+       depends on XEN && DRM
+       select DRM_XEN
        select DRM_KMS_HELPER
        select VIDEOMODE_HELPERS
        select XEN_XENBUS_FRONTEND