# CONFIG_DRM_HISI_HIBMC is not set