# CONFIG_DRM_HISI_KIRIN is not set
