# CONFIG_DRM_MALI_DISPLAY is not set