# CONFIG_DRM_PANEL is not set