# CONFIG_DRM_FBDEV_EMULATION is not set
