# CONFIG_DRM_VERISILICON is not set
